The cow is blue. The cow is rough. The cow likes the dog. The cow needs the dog. The cow visits the dog. The dog is not kind. The dog is red. The dog likes the cow. The dog needs the cow. The dog visits the cow. If something needs the dog and the dog does not visit the cow then the cow visits the dog. If something is kind and it does not visit the cow then it needs the cow. If something visits the cow then it is not big.
The cow is not rough.
@0: The cow is blue.[(triple1)] The cow is rough.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the dog.[(triple4)] The cow visits the dog.[(triple5)] The dog is not kind.[(triple6)] The dog is red.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The dog is not big.[(((triple10) -> rule3))]