The dog eats the mouse. The dog is not cold. The dog is rough. The dog sees the mouse. The mouse eats the dog. The mouse eats the squirrel. The mouse is young. The mouse sees the squirrel. The squirrel does not eat the dog. The squirrel eats the mouse. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel needs the dog. The squirrel sees the mouse. If someone sees the dog then the dog does not see the squirrel. If someone needs the squirrel then the squirrel sees the dog. If someone sees the dog then they see the mouse. If someone sees the mouse and they need the dog then they are round. If someone needs the mouse then they see the dog. If someone eats the squirrel then the squirrel is round.
The mouse does not see the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is not cold.[(triple2)] The dog is rough.[(triple3)] The dog sees the mouse.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is young.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel does not eat the dog.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13 OR ((triple6) -> rule6) OR ((triple16 triple15) -> rule4))] The squirrel is young.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel sees the mouse.[(triple16)]