The mouse eats the rabbit. The mouse eats the squirrel. The mouse is blue. The mouse is round. The rabbit eats the mouse. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit sees the mouse. The rabbit visits the squirrel. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is rough. The squirrel is not round. The squirrel sees the mouse. If something sees the rabbit and the rabbit visits the squirrel then the squirrel sees the mouse. If something visits the squirrel then it visits the mouse. If something visits the squirrel and the squirrel eats the mouse then the squirrel visits the mouse. If something sees the rabbit then the rabbit is not young. If something is red and not rough then it does not eat the mouse. If the rabbit visits the mouse then the mouse sees the rabbit. If something visits the squirrel and the squirrel does not visit the mouse then it does not eat the squirrel. If something eats the squirrel and it does not see the mouse then the mouse does not eat the squirrel.
The mouse does not see the squirrel.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is blue.[(triple3)] The mouse is round.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit is red.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the mouse.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is not round.[(triple14)] The squirrel is rough.[(triple13)] The squirrel sees the mouse.[(triple15 OR ((((((triple10) -> rule2)) -> rule6) triple10) -> rule1))] @1: The rabbit visits the mouse.[(((triple10) -> rule2))] The squirrel visits the mouse.[(((triple10 triple11) -> rule3))] @2: The mouse sees the rabbit.[(((((triple10) -> rule2)) -> rule6))] @3: The rabbit is not young.[(((((((triple10) -> rule2)) -> rule6)) -> rule4))]