The mouse is blue. The mouse is green. The mouse is rough. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is not green. The squirrel is rough. The squirrel does not like the mouse. The squirrel does not need the mouse. If the mouse needs the squirrel and the squirrel likes the mouse then the squirrel is big. If something eats the squirrel then the squirrel is not green. If the mouse eats the squirrel then the squirrel is green. If the mouse needs the squirrel and the mouse does not like the squirrel then the mouse is not cold. If something is big and it needs the squirrel then it is cold. If something eats the squirrel then the squirrel needs the mouse. If something likes the mouse and it is not rough then it does not eat the squirrel. If something is rough then it is big.
The mouse needs the mouse.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the squirrel.[(triple4)] The mouse needs the squirrel.[(triple5)] The squirrel does not like the mouse.[(triple11)] The squirrel does not need the mouse.[(triple12)] The squirrel eats the mouse.[(triple6)] The squirrel is big.[(triple7 OR ((triple10) -> rule8))] The squirrel is blue.[(triple8)] The squirrel is not green.[(triple9)] The squirrel is rough.[(triple10)] @1: The mouse is big.[(((triple3) -> rule8))] @2: The mouse is cold.[(((((triple3) -> rule8) triple5) -> rule5))]