The mouse is not big. The mouse is nice. The mouse is red. The mouse is rough. The mouse does not like the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is not big. The squirrel is nice. The squirrel is not red. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel does not see the mouse. If someone likes the mouse and the mouse is nice then they like the squirrel. If someone sees the squirrel then the squirrel does not see the mouse. If someone likes the squirrel and they do not see the squirrel then they need the mouse.
The mouse sees the mouse.
@0: The mouse does not like the squirrel.[(triple5)] The mouse is nice.[(triple2)] The mouse is not big.[(triple1)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse needs the squirrel.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel does not see the mouse.[(triple15 OR ((triple7) -> rule2))] The squirrel is nice.[(triple9)] The squirrel is not big.[(triple8)] The squirrel is not red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel needs the mouse.[(triple14)] @1: The squirrel likes the squirrel.[(((triple13 triple2) -> rule1))]