The cow is nice. The cow is rough. The cow is young. The cow likes the dog. The cow sees the dog. The cow visits the dog. The dog likes the cow. If the dog visits the cow then the dog likes the cow. If something is rough then it is young.
The cow is round.
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The cow is young.[(triple3 OR ((triple2) -> rule2))] The cow likes the dog.[(triple4)] The cow sees the dog.[(triple5)] The cow visits the dog.[(triple6)] The dog likes the cow.[(triple7)]