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