The cat is red. The lion eats the tiger. The tiger is red. If something is blue then it eats the tiger. If something eats the lion then the lion eats the cat. If the cat chases the tiger and the tiger eats the cat then the cat is blue. If something is red then it eats the lion. If something is round and it eats the tiger then it needs the lion. If something eats the cat then the cat eats the tiger.
The lion chases the tiger.
@0: The cat is red.[(triple1)] The lion eats the tiger.[(triple2)] The tiger is red.[(triple3)] @1: The cat eats the lion.[(((triple1) -> rule4))] The tiger eats the lion.[(((triple3) -> rule4))] @2: The lion eats the cat.[(((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] @3: The cat eats the tiger.[(((((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple3) -> rule4)) -> rule2)) -> rule6))]