The cow is green. The cow is kind. The cow is round. The cow needs the dog. The cow visits the dog. The dog chases the cow. The dog is big. The dog is round. The dog needs the cow. The dog visits the cow. If something visits the cow and the cow needs the dog then it visits the dog.
The cow visits the dog.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is round.[(triple3)] The cow needs the dog.[(triple4)] The cow visits the dog.[(triple5)] The dog chases the cow.[(triple6)] The dog is big.[(triple7)] The dog is round.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The dog visits the dog.[(((triple10 triple4) -> rule1))]