The bald eagle chases the rabbit. The bald eagle is nice. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle needs the rabbit. The dog chases the rabbit. The dog is cold. The dog is nice. The dog needs the rabbit. The rabbit chases the bald eagle. The rabbit is green. The rabbit is kind. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit needs the dog. If something is kind and green then it needs the rabbit. If something needs the rabbit then it likes the rabbit.
The dog does not chase the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog is cold.[(triple7)] The dog is nice.[(triple8)] The dog needs the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The bald eagle likes the rabbit.[(((triple5) -> rule2))] The dog likes the rabbit.[(((triple9) -> rule2))] The rabbit needs the rabbit.[(((triple12 triple11) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple12 triple11) -> rule1)) -> rule2))]