Lógica pedagógica

Se não sei, então estudo. Se estudo, então aprendo. Se aprendo, então ensino. Se ensino, então sei.

A -> B
B -> C
C -> D
D -> E