The bald eagle is cold. The bald eagle is red. The cow chases the lion. The cow eats the bald eagle. The cow is nice. The cow needs the bald eagle. The cow needs the lion. The lion eats the bald eagle. The lion is nice. The lion needs the bald eagle. If someone is nice then they need the cow.
The lion does not eat the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is nice.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow needs the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is nice.[(triple9)] The lion needs the bald eagle.[(triple10)] @1: The cow needs the cow.[(((triple5) -> rule1))] The lion needs the cow.[(((triple9) -> rule1))]