The bald eagle visits the cow. The bear eats the tiger. The cow needs the bald eagle. The tiger needs the bear. If someone visits the tiger then the tiger eats the cow. If the tiger is cold then the tiger needs the cow. If the bear eats the tiger and the tiger eats the cow then the bear is nice. If someone needs the bald eagle then they visit the tiger. If someone eats the cow then the cow is round. If someone eats the bear then the bear is blue.
The bear does not eat the tiger.
@0: The bald eagle visits the cow.[(triple1)] The bear eats the tiger.[(triple2)] The cow needs the bald eagle.[(triple3)] The tiger needs the bear.[(triple4)] @1: The cow visits the tiger.[(((triple3) -> rule4))] @2: The tiger eats the cow.[(((((triple3) -> rule4)) -> rule1))] @3: The bear is nice.[(((triple2 ((((triple3) -> rule4)) -> rule1)) -> rule3))] The cow is round.[(((((((triple3) -> rule4)) -> rule1)) -> rule5))]