The cow eats the tiger. The tiger is round. If someone is nice then they eat the cow. If someone is round then they like the tiger. If someone is big and red then they need the tiger. If someone eats the cow and they eat the tiger then they need the tiger. If someone eats the tiger then they like the cow. If someone likes the cow then they eat the cow.
The tiger likes the tiger.
@0: The cow eats the tiger.[(triple1)] The tiger is round.[(triple2)] @1: The cow likes the cow.[(((triple1) -> rule5))] The tiger likes the tiger.[(((triple2) -> rule2))] @2: The cow eats the cow.[(((((triple1) -> rule5)) -> rule6))] @3: The cow needs the tiger.[(((((((triple1) -> rule5)) -> rule6) triple1) -> rule4))]