The mouse needs the squirrel. The mouse needs the tiger. The squirrel likes the tiger. The squirrel visits the mouse. The squirrel visits the tiger. The tiger is nice. The tiger is round. The tiger likes the squirrel. The tiger needs the mouse. The tiger needs the squirrel. The tiger visits the mouse. The tiger visits the squirrel. If something likes the squirrel and the squirrel is kind then the squirrel visits the tiger. If something visits the squirrel then the squirrel visits the mouse. If something visits the mouse and it needs the mouse then the mouse likes the tiger. If something needs the squirrel then it is nice. If something likes the tiger then the tiger likes the squirrel. If something needs the mouse and the mouse is round then the mouse likes the tiger. If the squirrel needs the tiger then the tiger needs the squirrel. If the tiger visits the mouse then the mouse needs the squirrel.
The mouse is kind.
@0: The mouse needs the squirrel.[(triple1 OR ((triple11) -> rule8))] The mouse needs the tiger.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel visits the mouse.[(triple4 OR ((triple12) -> rule2))] The squirrel visits the tiger.[(triple5)] The tiger is nice.[(triple6 OR ((triple10) -> rule4))] The tiger is round.[(triple7)] The tiger likes the squirrel.[(triple8 OR ((triple3) -> rule5) OR ((((triple11 triple9) -> rule3)) -> rule5))] The tiger needs the mouse.[(triple9)] The tiger needs the squirrel.[(triple10)] The tiger visits the mouse.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The mouse is nice.[(((triple1) -> rule4) OR ((((triple11) -> rule8)) -> rule4))] The mouse likes the tiger.[(((triple11 triple9) -> rule3))]