The bald eagle eats the dog. The cow eats the tiger. The dog is blue. The tiger is green. If something likes the bald eagle and the bald eagle is rough then the bald eagle likes the cow. If something sees the bald eagle then the bald eagle is blue. If the bald eagle is nice and the bald eagle sees the tiger then the tiger sees the cow. If something likes the cow then it is nice. If something is green and it sees the tiger then the tiger likes the cow. If something eats the cow and it eats the dog then the cow likes the tiger. If something likes the tiger then the tiger likes the bald eagle. If something eats the dog then it eats the cow.
The bald eagle does not eat the cow.
@0: The bald eagle eats the dog.[(triple1)] The cow eats the tiger.[(triple2)] The dog is blue.[(triple3)] The tiger is green.[(triple4)] @1: The bald eagle eats the cow.[(((triple1) -> rule8))] @2: The cow likes the tiger.[(((((triple1) -> rule8) triple1) -> rule6))] @3: The tiger likes the bald eagle.[(((((((triple1) -> rule8) triple1) -> rule6)) -> rule7))]