The dog is kind. The dog likes the lion. The dog likes the mouse. The dog sees the mouse. The lion is green. The lion is rough. The lion likes the dog. The lion sees the rabbit. The mouse chases the dog. The mouse is blue. The mouse likes the lion. The mouse likes the rabbit. The rabbit is green. The rabbit likes the dog. The rabbit likes the lion. If the rabbit is kind and the rabbit chases the dog then the dog chases the rabbit. If the lion sees the mouse and the lion sees the rabbit then the rabbit chases the dog. All round things are kind. If something chases the dog and it is kind then it likes the rabbit. If the mouse likes the dog and the mouse chases the dog then the mouse likes the rabbit. If something likes the dog and it sees the lion then the dog is blue.
The lion is not kind.
@0: The dog is kind.[(triple1)] The dog likes the lion.[(triple2)] The dog likes the mouse.[(triple3)] The dog sees the mouse.[(triple4)] The lion is green.[(triple5)] The lion is rough.[(triple6)] The lion likes the dog.[(triple7)] The lion sees the rabbit.[(triple8)] The mouse chases the dog.[(triple9)] The mouse is blue.[(triple10)] The mouse likes the lion.[(triple11)] The mouse likes the rabbit.[(triple12)] The rabbit is green.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit likes the lion.[(triple15)]