The lion is red. The squirrel eats the lion. If the lion is red and the lion eats the squirrel then the lion visits the squirrel. If something is nice and it chases the squirrel then the squirrel visits the lion. If something visits the squirrel then it is big. If something eats the lion then the lion is nice. If something eats the lion then the lion eats the squirrel. Rough things are cold.
The lion is not red.
@0: The lion is red.[(triple1)] The squirrel eats the lion.[(triple2)] @1: The lion eats the squirrel.[(((triple2) -> rule5))] The lion is nice.[(((triple2) -> rule4))] @2: The lion visits the squirrel.[(((triple1 ((triple2) -> rule5)) -> rule1))] @3: The lion is big.[(((((triple1 ((triple2) -> rule5)) -> rule1)) -> rule3))]