The rabbit eats the squirrel. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is blue. The squirrel is red. The squirrel likes the rabbit. The squirrel sees the rabbit. If something likes the rabbit then it is round. If something sees the rabbit then it likes the rabbit. If something eats the squirrel then it is round. If something likes the squirrel then it likes the rabbit. If the rabbit is red then the rabbit eats the squirrel. If something eats the rabbit and the rabbit eats the squirrel then the rabbit sees the squirrel. If something eats the squirrel and the squirrel eats the rabbit then the rabbit is blue. If something sees the squirrel and the squirrel likes the rabbit then the rabbit sees the squirrel.
The squirrel does not eat the rabbit.
@0: The rabbit eats the squirrel.[(triple1 OR ((triple4) -> rule5))] The rabbit is blue.[(triple2 OR ((triple1 triple8) -> rule7) OR ((((triple4) -> rule5) triple8) -> rule7))] The rabbit is green.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5 OR ((triple1) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple6) -> rule4)) -> rule1))] The rabbit likes the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7 OR ((triple8 triple1) -> rule6) OR ((triple8 ((triple4) -> rule5)) -> rule6))] The squirrel eats the rabbit.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the rabbit.[(triple11 OR ((triple12) -> rule2))] The squirrel sees the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple6) -> rule4))] The squirrel is round.[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]