The squirrel eats the tiger. The squirrel is green. The squirrel is red. The squirrel needs the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is not green. The tiger is red. The tiger does not need the squirrel. The tiger sees the squirrel. If something needs the tiger then the tiger is not nice. All cold things are kind. If something sees the squirrel and it is not nice then the squirrel is cold.
The squirrel is nice.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is green.[(triple2)] The squirrel is red.[(triple3)] The squirrel needs the tiger.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger does not need the squirrel.[(triple9)] The tiger eats the squirrel.[(triple6)] The tiger is not green.[(triple7)] The tiger is red.[(triple8)] The tiger sees the squirrel.[(triple10)] @1: The tiger is not nice.[(((triple4) -> rule1))] @2: The squirrel is cold.[(((triple10 ((triple4) -> rule1)) -> rule3))] @3: The squirrel is kind.[(((((triple10 ((triple4) -> rule1)) -> rule3)) -> rule2))]