The cow chases the squirrel. The cow eats the squirrel. The cow is kind. The squirrel chases the cow. The squirrel eats the cow. The squirrel is red. The squirrel needs the cow. If someone needs the cow then the cow needs the squirrel. If someone chases the squirrel then the squirrel chases the cow. If someone needs the cow and they chase the squirrel then they are blue.
The squirrel is not blue.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is kind.[(triple3)] The squirrel chases the cow.[(triple4 OR ((triple1) -> rule2))] The squirrel eats the cow.[(triple5)] The squirrel is red.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow needs the squirrel.[(((triple7) -> rule1))]