The squirrel eats the tiger. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the tiger. The squirrel sees the tiger. The tiger is cold. The tiger is kind. The tiger needs the squirrel. If the squirrel sees the tiger then the tiger needs the squirrel. If someone needs the squirrel and the squirrel is cold then the squirrel needs the tiger. If someone sees the squirrel then they are kind. If someone is blue and they need the tiger then the tiger eats the squirrel. If someone is green then they see the squirrel. If someone sees the squirrel and they eat the squirrel then they eat the tiger. If someone sees the squirrel then they are blue. If the squirrel is kind then the squirrel needs the tiger.
The tiger is cold.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4 OR ((((triple3) -> rule5)) -> rule3))] The squirrel is nice.[(triple5)] The squirrel needs the tiger.[(triple6 OR ((triple4) -> rule8) OR ((triple10 triple2) -> rule2) OR ((((triple7) -> rule1) triple2) -> rule2) OR ((((((triple3) -> rule5)) -> rule3)) -> rule8))] The squirrel sees the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the squirrel.[(triple10 OR ((triple7) -> rule1))] @1: The squirrel sees the squirrel.[(((triple3) -> rule5))] @2: The squirrel is blue.[(((((triple3) -> rule5)) -> rule7))] @3: The tiger eats the squirrel.[(((((((triple3) -> rule5)) -> rule7) triple6) -> rule4) OR ((((((triple3) -> rule5)) -> rule7) ((triple4) -> rule8)) -> rule4) OR ((((((triple3) -> rule5)) -> rule7) ((triple10 triple2) -> rule2)) -> rule4) OR ((((((triple3) -> rule5)) -> rule7) ((((triple7) -> rule1) triple2) -> rule2)) -> rule4) OR ((((((triple3) -> rule5)) -> rule7) ((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule4))]