The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is cold. The bald eagle does not like the cat. The cat does not chase the dog. The cat eats the bald eagle. The cat is round. The cat likes the rabbit. The dog does not chase the rabbit. The dog eats the rabbit. The dog is round. The dog is not young. The rabbit chases the bald eagle. The rabbit does not chase the dog. The rabbit likes the bald eagle. The rabbit likes the cat. If something likes the cat then the cat does not like the dog. If something likes the dog then the dog likes the bald eagle. If something chases the cat and it is not rough then the cat is not cold.
The cat likes the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not like the cat.[(triple4)] The bald eagle eats the cat.[(triple2)] The bald eagle is cold.[(triple3)] The cat does not chase the dog.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is round.[(triple7)] The cat likes the rabbit.[(triple8)] The dog does not chase the rabbit.[(triple9)] The dog eats the rabbit.[(triple10)] The dog is not young.[(triple12)] The dog is round.[(triple11)] The rabbit chases the bald eagle.[(triple13)] The rabbit does not chase the dog.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The cat does not like the dog.[(((triple16) -> rule1))]