The cat chases the squirrel. The cow is kind. The dog is kind. The squirrel chases the cat. If someone eats the squirrel then they are blue. If someone is kind then they eat the cow. If someone needs the cat and the cat eats the cow then the cow is blue. If someone eats the cat then they eat the squirrel. If someone eats the cat and they are blue then they chase the squirrel. If someone is rough and they chase the dog then the dog is rough.
The cow is not blue.
@0: The cat chases the squirrel.[(triple1)] The cow is kind.[(triple2)] The dog is kind.[(triple3)] The squirrel chases the cat.[(triple4)] @1: The cow eats the cow.[(((triple2) -> rule2))] The dog eats the cow.[(((triple3) -> rule2))]