The lion eats the mouse. The lion eats the squirrel. The mouse eats the lion. The mouse is big. The mouse sees the squirrel. The mouse visits the lion. The squirrel sees the mouse. If something eats the squirrel then the squirrel eats the lion. If the squirrel sees the mouse then the squirrel eats the lion. If something eats the lion then it visits the mouse. All big, round things are not red. If something visits the mouse then it sees the squirrel. If something is big then it does not see the mouse. If the mouse visits the lion then the lion eats the mouse. If the mouse eats the lion and the mouse is not red then the mouse is young.
The lion does not visit the mouse.
@0: The lion eats the mouse.[(triple1 OR ((triple6) -> rule7))] The lion eats the squirrel.[(triple2)] The mouse eats the lion.[(triple3)] The mouse is big.[(triple4)] The mouse sees the squirrel.[(triple5 OR ((((triple3) -> rule3)) -> rule5))] The mouse visits the lion.[(triple6)] The squirrel sees the mouse.[(triple7)] @1: The mouse does not see the mouse.[(((triple4) -> rule6))] The mouse visits the mouse.[(((triple3) -> rule3))] The squirrel eats the lion.[(((triple2) -> rule1) OR ((triple7) -> rule2))] @2: The squirrel visits the mouse.[(((((triple2) -> rule1)) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] @3: The squirrel sees the squirrel.[(((((((triple2) -> rule1)) -> rule3)) -> rule5) OR ((((((triple7) -> rule2)) -> rule3)) -> rule5))]