The bald eagle eats the cow. The bald eagle is cold. The bear chases the cat. The bear is nice. The bear needs the cow. The cat chases the bald eagle. The cow chases the bear. The cow chases the cat. The cow eats the bear. The cow is rough. If someone chases the cow then they are rough. If someone needs the cow then the cow is round. Cold people are nice. If the bald eagle eats the cow then the cow eats the bear. If someone eats the cat then they chase the bear. If someone eats the bear then they need the cat. If someone needs the bald eagle then the bald eagle chases the cow. If someone is nice then they chase the bald eagle.
The cat needs the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2)] The bear chases the cat.[(triple3)] The bear is nice.[(triple4)] The bear needs the cow.[(triple5)] The cat chases the bald eagle.[(triple6)] The cow chases the bear.[(triple7)] The cow chases the cat.[(triple8)] The cow eats the bear.[(triple9 OR ((triple1) -> rule4))] The cow is rough.[(triple10)] @1: The bald eagle is nice.[(((triple2) -> rule3))] The bear chases the bald eagle.[(((triple4) -> rule8))] The cow is round.[(((triple5) -> rule2))] The cow needs the cat.[(((triple9) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] @2: The bald eagle chases the bald eagle.[(((((triple2) -> rule3)) -> rule8))]