The squirrel eats the tiger. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel needs the tiger. The squirrel sees the tiger. The tiger is green. The tiger sees the squirrel. If the tiger sees the squirrel and the tiger needs the squirrel then the tiger is red. If something eats the tiger and the tiger needs the squirrel then the tiger is kind. If something eats the tiger then it needs the squirrel. If the squirrel is nice and the squirrel is kind then the squirrel eats the tiger. If the tiger needs the squirrel and the tiger sees the squirrel then the squirrel sees the tiger. If something is green then it eats the tiger.
The tiger eats the squirrel.
@0: The squirrel eats the tiger.[(triple1 OR ((triple3) -> rule6) OR ((triple5 triple4) -> rule4))] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is red.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel sees the tiger.[(triple8 OR ((((((triple9) -> rule6)) -> rule3) triple10) -> rule5))] The tiger is green.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The squirrel needs the squirrel.[(((triple1) -> rule3) OR ((((triple3) -> rule6)) -> rule3) OR ((((triple5 triple4) -> rule4)) -> rule3))] The tiger eats the tiger.[(((triple9) -> rule6))] @2: The tiger needs the squirrel.[(((((triple9) -> rule6)) -> rule3))] @3: The tiger is kind.[(((triple1 ((((triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple3) -> rule6) ((((triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple5 triple4) -> rule4) ((((triple9) -> rule6)) -> rule3)) -> rule2))] The tiger is red.[(((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule1))]