The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is green. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel visits the rabbit. If someone chases the squirrel and they are young then the squirrel eats the rabbit. If someone chases the rabbit then they eat the rabbit. If the squirrel visits the rabbit then the squirrel eats the rabbit. If someone chases the rabbit and they chase the squirrel then the squirrel eats the rabbit. If someone eats the squirrel and the squirrel chases the rabbit then the rabbit chases the squirrel. Green people are kind.
The rabbit visits the rabbit.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple2 triple4) -> rule5))] The rabbit eats the squirrel.[(triple2)] The rabbit is green.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel eats the rabbit.[(triple5 OR ((triple10) -> rule3) OR ((triple4) -> rule2))] The squirrel is green.[(triple6)] The squirrel is kind.[(triple7 OR ((triple6) -> rule6))] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is kind.[(((triple3) -> rule6))]