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