The cat is blue. The cat is cold. The cat is green. The cat is not nice. The cat is red. The cat needs the mouse. The cat sees the mouse. The cat visits the mouse. The mouse is blue. The mouse is cold. The mouse is green. The mouse is not nice. The mouse is red. The mouse does not need the cat. The mouse sees the cat. The mouse does not visit the cat. If something visits the cat then the cat needs the mouse.
The mouse is not blue.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is not nice.[(triple4)] The cat is red.[(triple5)] The cat needs the mouse.[(triple6)] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse does not need the cat.[(triple14)] The mouse does not visit the cat.[(triple16)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is not nice.[(triple12)] The mouse is red.[(triple13)] The mouse sees the cat.[(triple15)]