Ооо. Не совсем. "Не" там нужна для того, чтобы не было симметричности.
Но проблема все же есть. Та картинка про не рефлексивное отношение. А в улике явно указана рефлексивность.
Кажется, и без того довольно сомнительная трактовка стала совсем неверна.