The squirrel is nice. The tiger chases the squirrel. The tiger visits the squirrel. If someone chases the squirrel then the squirrel eats the tiger. If someone eats the squirrel then they are nice. If someone chases the tiger then the tiger is not nice. If someone eats the tiger then they eat the squirrel. If someone is green then they are round. If the tiger eats the squirrel then the tiger is round. If the squirrel is young and the tiger does not eat the squirrel then the squirrel is nice. If someone is nice and they eat the squirrel then the squirrel visits the tiger.
The tiger is not round.
@0: The squirrel is nice.[(triple1 OR ((((((triple2) -> rule1)) -> rule4)) -> rule2))] The tiger chases the squirrel.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The squirrel eats the tiger.[(((triple2) -> rule1))] @2: The squirrel eats the squirrel.[(((((triple2) -> rule1)) -> rule4))] @3: The squirrel visits the tiger.[(((triple1 ((((triple2) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule2) ((((triple2) -> rule1)) -> rule4)) -> rule8))]