The bald eagle is red. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the dog. The cow is big. The cow is rough. The dog is red. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the cow. If something likes the cow and the cow needs the bald eagle then the cow needs the dog. If the bald eagle is big then the bald eagle likes the cow. If something eats the cow then the cow needs the bald eagle. If something is big then it eats the cow. If something eats the cow and it is big then the cow is nice. If something eats the cow then it likes the dog. If something likes the bald eagle and it likes the dog then it is big. If something needs the bald eagle and the bald eagle needs the cow then the cow is nice.
The cow does not eat the cow.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The cow is big.[(triple5)] The cow is rough.[(triple6)] The dog is red.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the cow.[(triple10)] @1: The cow eats the cow.[(((triple5) -> rule4))] @2: The cow is nice.[(((((triple5) -> rule4) triple5) -> rule5))] The cow likes the dog.[(((((triple5) -> rule4)) -> rule6))] The cow needs the bald eagle.[(((((triple5) -> rule4)) -> rule3))] @3: The cow needs the dog.[(((triple3 ((((triple5) -> rule4)) -> rule3)) -> rule1))]