The mouse chases the squirrel. The mouse is kind. The mouse is round. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel is kind. The squirrel is round. If something likes the mouse and the mouse chases the squirrel then the squirrel chases the mouse. If the mouse is young then the mouse is green. If the mouse needs the squirrel then the mouse is young. If something needs the mouse then the mouse chases the squirrel. If something likes the squirrel then it chases the squirrel. If the mouse is round and the mouse needs the squirrel then the mouse is kind. If something is green then it needs the squirrel. If something is kind and it needs the squirrel then it is green.
The squirrel is young.
@0: The mouse chases the squirrel.[(triple1 OR ((triple4) -> rule5))] The mouse is kind.[(triple2)] The mouse is round.[(triple3)] The mouse likes the squirrel.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is round.[(triple7)]