The mouse chases the squirrel. The mouse is big. The mouse is blue. The mouse is young. The mouse sees the squirrel. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel sees the mouse. The squirrel visits the mouse. If something visits the mouse then the mouse chases the squirrel. If the squirrel sees the mouse and the squirrel is young then the squirrel is round. If something is nice then it visits the mouse. If something is big and it chases the squirrel then it visits the squirrel. If the squirrel visits the mouse and the mouse visits the squirrel then the mouse is nice. If something chases the squirrel and the squirrel chases the mouse then it visits the squirrel.
The squirrel does not see the squirrel.
@0: The mouse chases the squirrel.[(triple1 OR ((triple10) -> rule1))] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is young.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The mouse visits the squirrel.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple10) -> rule1)) -> rule4))] @2: The mouse is nice.[(((triple10 ((triple2 triple1) -> rule4)) -> rule5) OR ((triple10 ((triple2 ((triple10) -> rule1)) -> rule4)) -> rule5))] @3: The mouse visits the mouse.[(((((triple10 ((triple2 triple1) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((triple2 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule3))]