The bear chases the dog. The bear is blue. The bear is kind. The bear is rough. The bear likes the dog. The bear visits the dog. The dog chases the bear. The dog is green. The dog is rough. The dog is round. The dog likes the bear. The dog visits the bear. If something visits the dog and the dog is not blue then it chases the dog.
The dog is not rough.
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear likes the dog.[(triple5)] The bear visits the dog.[(triple6)] The dog chases the bear.[(triple7)] The dog is green.[(triple8)] The dog is rough.[(triple9)] The dog is round.[(triple10)] The dog likes the bear.[(triple11)] The dog visits the bear.[(triple12)]