The mouse eats the squirrel. The mouse is not big. The mouse is cold. The mouse is kind. The mouse is nice. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel does not eat the mouse. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the mouse. The squirrel needs the mouse. If something eats the mouse then the mouse likes the squirrel. If something is big and it does not like the mouse then it needs the squirrel. If something eats the mouse then it eats the squirrel. If something is cold and it eats the mouse then it is kind. If something is big and it eats the mouse then the mouse is not nice. If the mouse needs the squirrel then the mouse is nice. If something is cold and not nice then it needs the mouse. If something likes the squirrel then it does not need the mouse.
The squirrel likes the mouse.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5 OR ((triple7) -> rule6))] The mouse is not big.[(triple2)] The mouse likes the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel does not eat the mouse.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The mouse does not need the mouse.[(((triple6) -> rule8))]