The cow chases the dog. The cow sees the dog. The dog chases the cow. If something chases the dog then it is green. If something is green then it sees the cow. If something sees the cow and the cow does not chase the dog then it does not chase the cow. If something chases the cow then it does not visit the dog. If something sees the cow and the cow chases the dog then the dog sees the cow. If something chases the cow and the cow chases the dog then it does not visit the cow. If something chases the cow and the cow does not visit the dog then the cow is not red. If the cow does not see the dog and the dog does not chase the cow then the cow is big.
The cow is not big.
@0: The cow chases the dog.[(triple1)] The cow sees the dog.[(triple2)] The dog chases the cow.[(triple3)] @1: The cow is green.[(((triple1) -> rule1))] The dog does not visit the cow.[(((triple3 triple1) -> rule6))] The dog does not visit the dog.[(((triple3) -> rule4))] @2: The cow sees the cow.[(((((triple1) -> rule1)) -> rule2))] @3: The dog sees the cow.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule5))]