The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog chases the bald eagle. The dog chases the squirrel. The dog is big. The dog likes the bald eagle. The dog needs the bald eagle. The squirrel chases the bald eagle. The squirrel is cold. The squirrel is round. The squirrel needs the bald eagle. If someone chases the squirrel then they are cold.
The dog likes the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple2) -> rule1))] The bald eagle likes the squirrel.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog chases the squirrel.[(triple9)] The dog is big.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is round.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The dog is cold.[(((triple9) -> rule1))]