The dog chases the lion. The dog is red. The dog likes the lion. The dog visits the rabbit. The lion is rough. The lion likes the dog. The lion visits the rabbit. The rabbit chases the dog. The rabbit likes the dog. The rabbit likes the lion. If something is nice and red then it visits the rabbit.
The dog does not chase the lion.
@0: The dog chases the lion.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3)] The dog visits the rabbit.[(triple4)] The lion is rough.[(triple5)] The lion likes the dog.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit likes the lion.[(triple10)]