The mouse eats the squirrel. The mouse is cold. The mouse is not green. The mouse is nice. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel does not like the mouse. The squirrel sees the mouse. If someone is green and they like the squirrel then they are nice. If someone sees the mouse then the mouse is not big. If someone eats the squirrel and they are not round then the squirrel sees the mouse. If someone likes the mouse then the mouse is green. If the mouse eats the squirrel then the squirrel does not like the mouse. If someone sees the mouse then the mouse likes the squirrel.
The mouse likes the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple4)] The mouse is not green.[(triple3)] The mouse likes the squirrel.[(triple5 OR ((triple12) -> rule6))] The mouse sees the squirrel.[(triple6)] The squirrel does not like the mouse.[(triple11 OR ((triple1) -> rule5))] The squirrel eats the mouse.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel sees the mouse.[(triple12)] @1: The mouse is not big.[(((triple12) -> rule2))]