The mouse chases the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is round. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. If something eats the mouse and the mouse sees the squirrel then the mouse eats the squirrel. If something chases the squirrel and the squirrel sees the mouse then it is round. If something eats the squirrel and the squirrel chases the mouse then the squirrel sees the mouse. If something eats the mouse and it chases the mouse then it is blue. If the mouse eats the squirrel then the squirrel chases the mouse. If something sees the squirrel then the squirrel is blue.
The mouse sees the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2 OR ((triple10 triple8) -> rule1))] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is kind.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7 OR ((triple1 ((triple2 triple9) -> rule3)) -> rule2) OR ((triple1 ((triple2 ((triple2) -> rule5)) -> rule3)) -> rule2) OR ((triple1 ((((triple10 triple8) -> rule1) triple9) -> rule3)) -> rule2) OR ((triple1 ((((triple10 triple8) -> rule1) ((triple2) -> rule5)) -> rule3)) -> rule2) OR ((triple1 ((triple2 ((((triple10 triple8) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple1 ((((triple10 triple8) -> rule1) ((((triple10 triple8) -> rule1)) -> rule5)) -> rule3)) -> rule2))] The mouse sees the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9 OR ((triple2) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule5))] The squirrel eats the mouse.[(triple10)] @1: The squirrel is blue.[(((triple8) -> rule6) OR ((triple10 triple9) -> rule4) OR ((triple10 ((triple2) -> rule5)) -> rule4) OR ((triple10 ((((triple10 triple8) -> rule1)) -> rule5)) -> rule4))] The squirrel sees the mouse.[(((triple2 triple9) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule1) triple9) -> rule3) OR ((((triple10 triple8) -> rule1) ((triple2) -> rule5)) -> rule3) OR ((triple2 ((((triple10 triple8) -> rule1)) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule1) ((((triple10 triple8) -> rule1)) -> rule5)) -> rule3))]