The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle eats the cat. The bald eagle is cold. The bald eagle needs the cat. The bald eagle needs the cow. The cat chases the bald eagle. The cat eats the bald eagle. The cat eats the cow. The cat is blue. The cow chases the bald eagle. The cow chases the cat. The cow eats the bald eagle. The cow is cold. The cow does not need the bald eagle. The cow needs the cat. If someone is green then they eat the bald eagle. If someone needs the bald eagle and the bald eagle does not need the cat then the bald eagle is young. If the cow chases the cat then the cow is nice. If someone needs the cow then they are green. If someone needs the cow and the cow is cold then the cow does not need the bald eagle. If someone is blue and they do not need the bald eagle then the bald eagle does not chase the cat.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle needs the cat.[(triple5)] The bald eagle needs the cow.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat eats the cow.[(triple9)] The cat is blue.[(triple10)] The cow chases the bald eagle.[(triple11)] The cow chases the cat.[(triple12)] The cow does not need the bald eagle.[(triple15 OR ((triple6 triple14) -> rule5))] The cow eats the bald eagle.[(triple13)] The cow is cold.[(triple14)] The cow needs the cat.[(triple16)] @1: The bald eagle is green.[(((triple6) -> rule4))] The cow is nice.[(((triple12) -> rule3))] @2: The bald eagle eats the bald eagle.[(((((triple6) -> rule4)) -> rule1))]