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 dog is nice.
@0: The cat visits the dog.[(triple1)] The dog likes the cat.[(triple2)]