The bear is blue. The bear visits the dog. The dog is nice. The dog is rough. The dog likes the bear. The tiger is nice. The tiger likes the bear. If something is rough and it chases the tiger then the tiger is not nice. If something is nice and round then it visits the tiger.
The bear does not visit the tiger.
@0: The bear is blue.[(triple1)] The bear visits the dog.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog likes the bear.[(triple5)] The tiger is nice.[(triple6)] The tiger likes the bear.[(triple7)]