The mouse chases the squirrel. The mouse is cold. The mouse is red. The mouse is round. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel sees the mouse. If someone eats the squirrel then the squirrel eats the mouse. If someone is kind then they chase the mouse. If someone is round then they see the mouse. If the squirrel sees the mouse and the squirrel chases the mouse then the squirrel eats the mouse. If someone chases the mouse and the mouse sees the squirrel then they see the mouse. If the squirrel chases the mouse and the squirrel eats the mouse then the mouse chases the squirrel. If someone is cold and round then they see the squirrel. If someone sees the squirrel and they are red then they eat the squirrel.
The mouse sees the squirrel.
@0: The mouse chases the squirrel.[(triple1 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple12 triple5) -> rule4)) -> rule6) OR ((((triple9) -> rule2) triple6) -> rule6) OR ((((triple9) -> rule2) ((triple12 triple5) -> rule4)) -> rule6) OR ((triple5 ((triple12 ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((triple5 ((((triple11) -> rule3) triple5) -> rule4)) -> rule6) OR ((triple5 ((((triple11) -> rule3) ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((triple12 ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((triple11) -> rule3) triple5) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((triple11) -> rule3) ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((triple5 ((((((triple2 triple4) -> rule7) triple3) -> rule8)) -> rule1)) -> rule6) OR ((triple5 ((((((triple8 triple11) -> rule7) triple10) -> rule8)) -> rule1)) -> rule6) OR ((triple5 ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4)) -> rule6) OR ((triple5 ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((triple5 ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((((triple2 triple4) -> rule7) triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((((triple8 triple11) -> rule7) triple10) -> rule8)) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4)) -> rule6) OR ((triple5 ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4)) -> rule6))] The mouse is cold.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4)] The squirrel chases the mouse.[(triple5 OR ((triple9) -> rule2))] The squirrel eats the mouse.[(triple6 OR ((triple12 triple5) -> rule4) OR ((triple12 ((triple9) -> rule2)) -> rule4) OR ((((triple11) -> rule3) triple5) -> rule4) OR ((((triple11) -> rule3) ((triple9) -> rule2)) -> rule4) OR ((((((triple2 triple4) -> rule7) triple3) -> rule8)) -> rule1) OR ((((((triple8 triple11) -> rule7) triple10) -> rule8)) -> rule1) OR ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4) OR ((((triple5 ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4) OR ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) triple5) -> rule4) OR ((((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5) ((triple9) -> rule2)) -> rule4))] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel is round.[(triple11)] The squirrel sees the mouse.[(triple12 OR ((triple11) -> rule3) OR ((triple5 ((triple2 triple4) -> rule7)) -> rule5) OR ((((triple9) -> rule2) ((triple2 triple4) -> rule7)) -> rule5))] @1: The mouse sees the mouse.[(((triple4) -> rule3))] The mouse sees the squirrel.[(((triple2 triple4) -> rule7))] The squirrel sees the squirrel.[(((triple8 triple11) -> rule7))] @2: The mouse eats the squirrel.[(((((triple2 triple4) -> rule7) triple3) -> rule8))] The squirrel eats the squirrel.[(((((triple8 triple11) -> rule7) triple10) -> rule8))]