The cat sees the dog. The cat does not see the lion. The cat does not see the mouse. The cat visits the mouse. The dog is green. The dog is rough. The dog sees the cat. The dog sees the lion. The dog sees the mouse. The dog does not visit the cat. The lion eats the cat. The lion is red. The lion is rough. The lion visits the mouse. The mouse does not eat the lion. If someone sees the lion and the lion does not eat the mouse then the mouse does not eat the cat. If someone is cold then they see the mouse.
The lion does not see the mouse.
@0: The cat does not see the lion.[(triple2)] The cat does not see the mouse.[(triple3)] The cat sees the dog.[(triple1)] The cat visits the mouse.[(triple4)] The dog does not visit the cat.[(triple10)] The dog is green.[(triple5)] The dog is rough.[(triple6)] The dog sees the cat.[(triple7)] The dog sees the lion.[(triple8)] The dog sees the mouse.[(triple9)] The lion eats the cat.[(triple11)] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion visits the mouse.[(triple14)] The mouse does not eat the lion.[(triple15)]