The mouse eats the squirrel. The mouse is kind. The mouse is red. The mouse is not round. The mouse is young. The mouse does not like the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. If the squirrel needs the mouse then the mouse does not like the squirrel. If something eats the squirrel and it is not young then it does not need the squirrel. If something eats the squirrel and it likes the squirrel then the squirrel eats the mouse. If something likes the mouse then the mouse is green. If something is green then it eats the mouse. If something is red and it does not need the squirrel then it is round. If the squirrel is kind and the squirrel eats the mouse then the squirrel likes the mouse. If something is round and it needs the squirrel then the squirrel likes the mouse.
The mouse does not like the mouse.
@0: The mouse does not like the squirrel.[(triple6 OR ((triple15) -> rule1))] The mouse eats the squirrel.[(triple1)] The mouse is kind.[(triple2)] The mouse is not round.[(triple4)] The mouse is red.[(triple3)] The mouse is young.[(triple5)] The mouse needs the squirrel.[(triple7)] The squirrel eats the mouse.[(triple8 OR ((triple9) -> rule5))] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14 OR ((triple10 triple8) -> rule7) OR ((triple10 ((triple9) -> rule5)) -> rule7))] The squirrel needs the mouse.[(triple15)] @1: The mouse is green.[(((triple14) -> rule4) OR ((((triple10 triple8) -> rule7)) -> rule4) OR ((((triple10 ((triple9) -> rule5)) -> rule7)) -> rule4))] @2: The mouse eats the mouse.[(((((triple14) -> rule4)) -> rule5) OR ((((((triple10 triple8) -> rule7)) -> rule4)) -> rule5) OR ((((((triple10 ((triple9) -> rule5)) -> rule7)) -> rule4)) -> rule5))]