The lion is kind. Blue things are red. All kind things are blue.
The lion eats the lion.
@0: The lion is kind.[(triple1)] @1: The lion is blue.[(((triple1) -> rule2))] @2: The lion is red.[(((((triple1) -> rule2)) -> rule1))]