The mouse chases the squirrel. The mouse eats the squirrel. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the mouse. If someone likes the squirrel and they like the mouse then the mouse likes the squirrel. If the squirrel is round and the squirrel likes the mouse then the mouse eats the squirrel. If the squirrel eats the mouse and the mouse likes the squirrel then the squirrel likes the mouse. If the squirrel eats the mouse and the squirrel likes the mouse then the squirrel is kind. If someone is young then they eat the mouse. If someone eats the mouse and they like the squirrel then the squirrel is rough.
The squirrel is not cold.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2 OR ((triple14 triple16) -> rule2) OR ((triple14 ((triple10 triple8) -> rule3)) -> rule2) OR ((triple14 ((((triple15) -> rule5) triple8) -> rule3)) -> rule2))] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse is young.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the mouse.[(triple10 OR ((triple15) -> rule5))] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12 OR ((triple10 triple16) -> rule4) OR ((triple10 ((triple10 triple8) -> rule3)) -> rule4) OR ((((triple15) -> rule5) triple16) -> rule4) OR ((((triple15) -> rule5) ((triple10 triple8) -> rule3)) -> rule4) OR ((triple10 ((((triple15) -> rule5) triple8) -> rule3)) -> rule4) OR ((((triple15) -> rule5) ((((triple15) -> rule5) triple8) -> rule3)) -> rule4))] The squirrel is rough.[(triple13 OR ((((triple7) -> rule5) triple8) -> rule6))] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the mouse.[(triple16 OR ((triple10 triple8) -> rule3) OR ((((triple15) -> rule5) triple8) -> rule3))] @1: The mouse eats the mouse.[(((triple7) -> rule5))]