The bald eagle is round. The bald eagle likes the squirrel. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is kind. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If something is kind then it visits the squirrel. If something eats the bald eagle and it is blue then the bald eagle likes the squirrel. All round, blue things are kind. If something visits the squirrel then the squirrel visits the bald eagle. If the squirrel is blue then the squirrel likes the bald eagle. If something is round then it eats the bald eagle.
The bald eagle does not visit the squirrel.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the squirrel.[(triple2 OR ((triple3 triple4) -> rule2))] The squirrel eats the bald eagle.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is kind.[(triple5)] The squirrel likes the bald eagle.[(triple6 OR ((triple4) -> rule5))] The squirrel visits the bald eagle.[(triple7 OR ((((triple5) -> rule1)) -> rule4))] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule6))] The squirrel visits the squirrel.[(((triple5) -> rule1))]