The mouse chases the squirrel. The mouse is blue. The mouse is nice. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is nice. The squirrel likes the mouse. The squirrel visits the mouse. If someone visits the squirrel and the squirrel chases the mouse then they chase the squirrel. If someone visits the squirrel then they like the squirrel.
The squirrel does not chase the squirrel.
@0: The mouse chases the squirrel.[(triple1 OR ((triple6 triple7) -> rule1))] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The mouse is young.[(triple4)] The mouse likes the squirrel.[(triple5 OR ((triple6) -> rule2))] The mouse visits the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel is nice.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)]