The mouse is young. The mouse needs the squirrel. The mouse sees the rabbit. The rabbit needs the mouse. The rabbit needs the squirrel. The rabbit visits the mouse. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel sees the mouse. The squirrel sees the rabbit. The squirrel sees the tiger. The squirrel visits the rabbit. The tiger is kind. The tiger is young. The tiger needs the mouse. If someone visits the mouse and they see the rabbit then the rabbit visits the tiger. If someone visits the mouse then the mouse is young. If someone sees the rabbit and they visit the tiger then they need the tiger. If someone sees the rabbit and they visit the rabbit then the rabbit sees the tiger. If the mouse is young then the mouse visits the tiger. If someone is red and big then they see the tiger.
The squirrel visits the tiger.
@0: The mouse is young.[(triple1 OR ((triple6) -> rule2))] The mouse needs the squirrel.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the mouse.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel sees the tiger.[(triple12)] The squirrel visits the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The mouse visits the tiger.[(((triple1) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] The rabbit sees the tiger.[(((triple11 triple13) -> rule4))] @2: The mouse needs the tiger.[(((triple3 ((triple1) -> rule5)) -> rule3) OR ((triple3 ((((triple6) -> rule2)) -> rule5)) -> rule3))]