The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The squirrel eats the bald eagle. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If something eats the squirrel and it is rough then the squirrel likes the bald eagle. If the squirrel visits the bald eagle then the squirrel eats the bald eagle. If something visits the bald eagle and the bald eagle is kind then it is blue. If the bald eagle is round and the bald eagle eats the squirrel then the squirrel is kind. If something is cold and it eats the squirrel then it visits the bald eagle. If something eats the bald eagle then it likes the squirrel.
The squirrel is rough.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The bald eagle visits the squirrel.[(triple7)] The squirrel eats the bald eagle.[(triple8 OR ((triple10) -> rule2))] The squirrel likes the bald eagle.[(triple9 OR ((triple1 triple4) -> rule1))] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple2 triple1) -> rule5))] The squirrel is blue.[(((triple10 triple3) -> rule3))] The squirrel is kind.[(((triple5 triple1) -> rule4))] The squirrel likes the squirrel.[(((triple8) -> rule6) OR ((((triple10) -> rule2)) -> rule6))] @2: The bald eagle is blue.[(((((triple2 triple1) -> rule5) triple3) -> rule3))]