The squirrel eats the tiger. The squirrel is red. The squirrel is round. The squirrel likes the tiger. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is green. The tiger is nice. The tiger likes the squirrel. The tiger visits the squirrel. If someone eats the squirrel then they visit the tiger. If someone eats the squirrel then the squirrel eats the tiger. If someone likes the squirrel then they are round. If someone is round and they eat the tiger then they are green. If someone is green and nice then they like the squirrel. If the squirrel is red and the squirrel likes the tiger then the tiger likes the squirrel. If someone likes the squirrel then the squirrel likes the tiger. If the tiger visits the squirrel and the squirrel likes the tiger then the tiger likes the squirrel.
The tiger does not like the squirrel.
@0: The squirrel eats the tiger.[(triple1 OR ((triple6) -> rule2))] The squirrel is red.[(triple2)] The squirrel is round.[(triple3)] The squirrel likes the tiger.[(triple4 OR ((triple9) -> rule7) OR ((((triple7 triple8) -> rule5)) -> rule7))] The squirrel visits the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the squirrel.[(triple9 OR ((triple10 triple4) -> rule8) OR ((triple2 triple4) -> rule6) OR ((triple7 triple8) -> rule5))] The tiger visits the squirrel.[(triple10)] @1: The squirrel is green.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple6) -> rule2)) -> rule4))] The tiger is round.[(((triple9) -> rule3) OR ((((triple10 triple4) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6)) -> rule3) OR ((((triple7 triple8) -> rule5)) -> rule3))] The tiger visits the tiger.[(((triple6) -> rule1))]