The squirrel eats the tiger. The squirrel is green. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is kind. The tiger needs the squirrel. The tiger visits the squirrel. If someone needs the squirrel and they eat the tiger then the tiger is cold. If the squirrel is green and the squirrel visits the tiger then the squirrel needs the tiger. If someone visits the tiger then they visit the squirrel. If someone eats the tiger then they visit the tiger. If someone visits the tiger and the tiger is big then the tiger eats the squirrel. If someone needs the squirrel and they are rough then the squirrel eats the tiger.
The squirrel eats the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is green.[(triple2)] The squirrel needs the tiger.[(triple3 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple1) -> rule4)) -> rule2))] The squirrel visits the tiger.[(triple4 OR ((triple1) -> rule4))] The tiger is kind.[(triple5)] The tiger needs the squirrel.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The squirrel visits the squirrel.[(((triple4) -> rule3) OR ((((triple1) -> rule4)) -> rule3))]