The cat is not green. The cat is kind. The cat likes the mouse. The cat likes the tiger. The dog chases the mouse. The dog chases the tiger. The dog is kind. The dog is round. The dog is young. The dog likes the cat. The dog visits the mouse. The dog does not visit the tiger. The mouse chases the tiger. The tiger likes the mouse. The tiger visits the cat. If something visits the dog then the dog is young. If something chases the mouse and it is not round then it is young. If the tiger chases the mouse then the tiger is red. If something chases the cat and it does not visit the cat then the cat likes the dog. If something chases the tiger and it likes the dog then the dog does not like the tiger. If something chases the dog and it does not like the dog then the dog does not like the tiger.
The tiger is not red.
@0: The cat is kind.[(triple2)] The cat is not green.[(triple1)] The cat likes the mouse.[(triple3)] The cat likes the tiger.[(triple4)] The dog chases the mouse.[(triple5)] The dog chases the tiger.[(triple6)] The dog does not visit the tiger.[(triple12)] The dog is kind.[(triple7)] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog likes the cat.[(triple10)] The dog visits the mouse.[(triple11)] The mouse chases the tiger.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the cat.[(triple15)]