The mouse is round. The mouse is young. The mouse sees the squirrel. The mouse sees the tiger. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel likes the mouse. The squirrel sees the tiger. The tiger is round. The tiger likes the squirrel. The tiger visits the mouse. If someone likes the mouse and they see the mouse then they like the tiger. If someone likes the mouse then they see the mouse. If the mouse likes the tiger and the tiger sees the squirrel then the tiger visits the squirrel. If someone sees the mouse then the mouse visits the squirrel. If someone sees the tiger then they like the squirrel. If the mouse sees the tiger then the mouse likes the tiger. If someone is cold and they visit the tiger then they are nice. If someone is round then they visit the tiger.
The tiger does not visit the tiger.
@0: The mouse is round.[(triple1)] The mouse is young.[(triple2)] The mouse sees the squirrel.[(triple3)] The mouse sees the tiger.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is green.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the mouse.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger is round.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse likes the squirrel.[(((triple4) -> rule5))] The mouse likes the tiger.[(((triple4) -> rule6))] The mouse visits the tiger.[(((triple1) -> rule8))] The squirrel likes the squirrel.[(((triple9) -> rule5))] The squirrel sees the mouse.[(((triple8) -> rule2))] The tiger visits the tiger.[(((triple10) -> rule8))] @2: The mouse visits the squirrel.[(((((triple8) -> rule2)) -> rule4))] The squirrel likes the tiger.[(((triple8 ((triple8) -> rule2)) -> rule1))]