The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is green. The bald eagle visits the dog. The dog chases the bald eagle. The dog eats the squirrel. The dog is green. The dog is red. The dog visits the bald eagle. The dog visits the squirrel. The squirrel eats the bald eagle. The squirrel eats the dog. The squirrel is cold. The squirrel is nice. The squirrel visits the dog. If something is cold then it eats the dog. If something eats the squirrel then it is cold.
The dog does not eat the squirrel.
@0: The bald eagle eats the dog.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] The bald eagle eats the squirrel.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple2) -> rule2))] The bald eagle is green.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is green.[(triple8)] The dog is red.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel eats the dog.[(triple13 OR ((triple14) -> rule1))] The squirrel is cold.[(triple14)] The squirrel is nice.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog is cold.[(((triple7) -> rule2))] @2: The dog eats the dog.[(((((triple7) -> rule2)) -> rule1))]