The lion is red. Blue things are big. All red things are blue. If something is big then it is rough.
The lion needs the lion.
@0: The lion is red.[(triple1)] @1: The lion is blue.[(((triple1) -> rule2))] @2: The lion is big.[(((((triple1) -> rule2)) -> rule1))] @3: The lion is rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]