The bald eagle chases the cat. The bald eagle is nice. The bald eagle is young. The bald eagle needs the cat. The bald eagle needs the rabbit. The cat is cold. The cat is nice. The rabbit chases the bald eagle. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit sees the bald eagle. The rabbit sees the cat. If something chases the cat then the cat needs the rabbit. If something sees the bald eagle then the bald eagle sees the rabbit.
The rabbit does not chase the rabbit.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cat is cold.[(triple6)] The cat is nice.[(triple7)] The rabbit chases the bald eagle.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the cat.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The bald eagle sees the rabbit.[(((triple11) -> rule2))] The cat needs the rabbit.[(((triple1) -> rule1))]