The cow chases the squirrel. The squirrel is blue. The tiger eats the cow. If someone needs the tiger and the tiger is young then they are blue. If someone eats the tiger and they are red then they do not chase the tiger. If someone is kind then they do not chase the tiger. Blue people are green. Green people are kind. If the tiger needs the squirrel then the tiger does not chase the squirrel. If someone is green then they need the cow. If the cow needs the tiger and the cow is kind then the tiger is not green.
The cow is kind.
@0: The cow chases the squirrel.[(triple1)] The squirrel is blue.[(triple2)] The tiger eats the cow.[(triple3)] @1: The squirrel is green.[(((triple2) -> rule4))] @2: The squirrel is kind.[(((((triple2) -> rule4)) -> rule5))] The squirrel needs the cow.[(((((triple2) -> rule4)) -> rule7))] @3: The squirrel does not chase the tiger.[(((((((triple2) -> rule4)) -> rule5)) -> rule3))]