The dog is rough. The lion is big. If the dog is cold and the dog likes the lion then the dog does not visit the lion. If the dog visits the lion then the lion is big. If something likes the lion then it visits the dog. If something likes the lion and the lion eats the dog then it does not eat the dog. If something visits the lion and the lion does not visit the dog then the lion does not eat the dog. If something visits the lion then the lion eats the dog.
The lion eats the lion.
@0: The dog is rough.[(triple1)] The lion is big.[(triple2)]