The cat visits the dog. The dog likes the cat. If the cat likes the dog and the cat is nice then the cat is not rough.
The cat does not visit the dog.
@0: The cat visits the dog.[(triple1)] The dog likes the cat.[(triple2)]