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