The bald eagle eats the cat. The bald eagle needs the cat. The cat is red. The cow chases the bald eagle. The cow chases the cat. The cow is nice. The cow needs the bald eagle. If something chases the cow then the cow eats the bald eagle. If the cow needs the bald eagle then the bald eagle needs the cow. If something is rough and it chases the cat then it does not need the cow. If something eats the cow then it does not need the cow. If something chases the bald eagle then it is blue. If something is nice then it chases the cow. If something eats the bald eagle then it needs the cat. If the cat is cold then the cat chases the bald eagle.
The cow does not need the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat is red.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the cat.[(triple5)] The cow is nice.[(triple6)] The cow needs the bald eagle.[(triple7)] @1: The bald eagle needs the cow.[(((triple7) -> rule2))] The cow chases the cow.[(((triple6) -> rule6))] The cow is blue.[(((triple4) -> rule5))] @2: The cow eats the bald eagle.[(((((triple6) -> rule6)) -> rule1))] @3: The cow needs the cat.[(((((((triple6) -> rule6)) -> rule1)) -> rule7))]