The cat is big. The cat does not visit the dog. The dog visits the cat. If someone likes the cat and they are not rough then they visit the dog. If someone visits the dog and the dog likes the cat then they like the dog. If someone eats the dog then the dog visits the cat.
The dog does not visit the cat.
@0: The cat does not visit the dog.[(triple2)] The cat is big.[(triple1)] The dog visits the cat.[(triple3)]