The mouse chases the squirrel. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the mouse. The squirrel visits the mouse. If the squirrel chases the mouse and the mouse is kind then the squirrel is green. All kind people are young. If someone chases the squirrel and they like the mouse then the squirrel likes the mouse. If someone likes the squirrel and the squirrel is red then they visit the mouse. If the mouse chases the squirrel and the squirrel chases the mouse then the squirrel visits the mouse. If someone visits the mouse and the mouse visits the squirrel then they are kind.
The mouse does not like the mouse.
@0: The mouse chases the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4 OR ((((triple7 triple13) -> rule4) triple8) -> rule6))] The mouse is red.[(triple5)] The mouse is young.[(triple6 OR ((triple4) -> rule2) OR ((((((triple7 triple13) -> rule4) triple8) -> rule6)) -> rule2))] The mouse likes the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11 OR ((triple9 triple4) -> rule1) OR ((triple9 ((((triple7 triple13) -> rule4) triple8) -> rule6)) -> rule1))] The squirrel is kind.[(triple12 OR ((triple15 triple8) -> rule6) OR ((((triple1 triple9) -> rule5) triple8) -> rule6))] The squirrel is red.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the mouse.[(triple15 OR ((triple1 triple9) -> rule5))] @1: The mouse visits the mouse.[(((triple7 triple13) -> rule4))] The squirrel is young.[(((triple12) -> rule2) OR ((((triple15 triple8) -> rule6)) -> rule2) OR ((((((triple1 triple9) -> rule5) triple8) -> rule6)) -> rule2))]