The bald eagle chases the rabbit. The bald eagle chases the squirrel. The rabbit chases the squirrel. The rabbit eats the bald eagle. The rabbit eats the squirrel. The squirrel chases the rabbit. The squirrel eats the bald eagle. The squirrel eats the rabbit. The squirrel is cold. The squirrel is nice. If someone eats the bald eagle then the bald eagle visits the rabbit. If someone eats the bald eagle then the bald eagle chases the squirrel.
The squirrel is not nice.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the squirrel.[(triple2 OR ((triple4) -> rule2) OR ((triple7) -> rule2))] The rabbit chases the squirrel.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit eats the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] @1: The bald eagle visits the rabbit.[(((triple4) -> rule1) OR ((triple7) -> rule1))]