The cat needs the cow. The cow is big. The dog does not chase the cow. If something needs the dog then the dog needs the cow. If something chases the cow and it is rough then the cow does not see the cat. If something needs the cow and the cow does not chase the dog then the cow is green. If something is green then it needs the cow. If something is blue and it chases the dog then it needs the cow. If something needs the cow then it does not chase the cat.
The cat does not need the cow.
@0: The cat needs the cow.[(triple1)] The cow is big.[(triple2)] The dog does not chase the cow.[(triple3)] @1: The cat does not chase the cat.[(((triple1) -> rule6))]