По идее не должно быть

Если из А очевидно следует В, а из В очевидно следует С, то не обязательно из А очевидно следует С
И я тоже так проголосовал

Но что если так?:

Пусть из А очевидно следует В, а из В очевидно следует С
Тогда из А следует В, а из В следует С
Тогда по транзитивности следования из А следует С
Но следование в силу транзитивности очевидно, поэтому из А очевидно следует С

Мнения?)