The mouse does not chase the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse is rough. The mouse is round. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is red. The squirrel is rough. The squirrel needs the mouse. If someone needs the squirrel then they are red.
The squirrel is not round.
@0: The mouse does not chase the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is blue.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse needs the squirrel.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The mouse is red.[(((triple6) -> rule1))]