The bald eagle eats the squirrel. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The cat is rough. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse needs the cat. The mouse sees the bald eagle. The mouse sees the cat. The squirrel is young. The squirrel needs the bald eagle. If something eats the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle. If something is young then it needs the mouse. If something eats the cat then the cat sees the mouse. If the squirrel eats the cat then the cat is young. If something needs the mouse then it sees the cat. If something is red and it needs the bald eagle then it eats the mouse. If the cat eats the bald eagle and the bald eagle needs the cat then the bald eagle eats the cat. If something needs the mouse then it eats the cat. If something is red then it sees the squirrel.
The mouse does not eat the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the mouse.[(triple5 OR ((triple4) -> rule2))] The bald eagle sees the squirrel.[(triple6 OR ((triple2) -> rule9))] The cat eats the bald eagle.[(triple7)] The cat eats the squirrel.[(triple8)] The cat is rough.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the squirrel.[(triple11)] The mouse needs the cat.[(triple12)] The mouse sees the bald eagle.[(triple13)] The mouse sees the cat.[(triple14)] The squirrel is young.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The bald eagle eats the cat.[(((triple5) -> rule8) OR ((((triple4) -> rule2)) -> rule8))] The bald eagle sees the cat.[(((triple5) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] The squirrel needs the mouse.[(((triple15) -> rule2))] @2: The cat sees the mouse.[(((((triple5) -> rule8)) -> rule3) OR ((((((triple15) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((((((triple15) -> rule2)) -> rule8)) -> rule4)) -> rule2)) -> rule8)) -> rule3))] The squirrel eats the cat.[(((((triple15) -> rule2)) -> rule8))] The squirrel sees the cat.[(((((triple15) -> rule2)) -> rule5))] @3: The cat is young.[(((((((triple15) -> rule2)) -> rule8)) -> rule4))] @4: The cat needs the mouse.[(((((((((triple15) -> rule2)) -> rule8)) -> rule4)) -> rule2))] @5: The cat eats the cat.[(((((((((((triple15) -> rule2)) -> rule8)) -> rule4)) -> rule2)) -> rule8))] The cat sees the cat.[(((((((((((triple15) -> rule2)) -> rule8)) -> rule4)) -> rule2)) -> rule5))]