The mouse chases the squirrel. The mouse does not eat the squirrel. The mouse is blue. The mouse is green. The mouse is rough. The mouse is young. The mouse does not visit the squirrel. The squirrel eats the mouse. The squirrel is blue. The squirrel is not green. The squirrel is kind. The squirrel visits the mouse. If someone is young and they eat the squirrel then they visit the squirrel. If someone eats the squirrel then the squirrel chases the mouse. Rough people are young.
The mouse visits the mouse.
@0: The mouse chases the squirrel.[(triple1)] The mouse does not eat the squirrel.[(triple2)] The mouse does not visit the squirrel.[(triple7)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6 OR ((triple5) -> rule3))] The squirrel eats the mouse.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is kind.[(triple11)] The squirrel is not green.[(triple10)] The squirrel visits the mouse.[(triple12)]