The cow eats the lion. The lion is blue. The lion is red. If something is big then it eats the lion. If something is red then it eats the cow. If something eats the lion then the lion needs the cow. If something likes the lion and the lion is red then the lion likes the cow. If something eats the lion and it needs the cow then the lion is green. If something is blue and it eats the cow then it eats the lion. If something is nice and red then it eats the cow. If something likes the lion and it is big then it needs the lion.
The lion likes the lion.
@0: The cow eats the lion.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] @1: The lion eats the cow.[(((triple3) -> rule2))] The lion needs the cow.[(((triple1) -> rule3) OR ((((triple2 ((triple3) -> rule2)) -> rule6)) -> rule3))] @2: The lion eats the lion.[(((triple2 ((triple3) -> rule2)) -> rule6))] @3: The lion is green.[(((((triple2 ((triple3) -> rule2)) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((triple2 ((triple3) -> rule2)) -> rule6) ((((triple2 ((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule5))]