The cow needs the dog. The cow visits the dog. The dog is blue. The dog is kind. The dog is red. The dog is round. The dog is young. The dog likes the cow. The dog needs the cow. The dog visits the cow. If someone visits the cow then the cow is blue.
The dog does not like the cow.
@0: The cow needs the dog.[(triple1)] The cow visits the dog.[(triple2)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow is blue.[(((triple10) -> rule1))]