The cat needs the cow. The cow is rough. The dog visits the cow. If someone needs the cow then they are green. If someone sees the cat and they visit the cow then the cat needs the cow. If the cat visits the cow and the cow sees the cat then the cow visits the dog. All green people are nice. If someone sees the dog and they need the cow then the cow needs the dog. If someone needs the cow and they need the cat then the cow sees the dog. If someone is red and green then they need the cat. If someone visits the cow and they are green then they need the cat.
The dog does not need the cat.
@0: The cat needs the cow.[(triple1)] The cow is rough.[(triple2)] The dog visits the cow.[(triple3)] @1: The cat is green.[(((triple1) -> rule1))] @2: The cat is nice.[(((((triple1) -> rule1)) -> rule4))]