The bear is not blue. The bear is nice. The bear is rough. The bear likes the cat. The bear sees the cat. The bear does not visit the cat. The bear does not visit the mouse. The cat is nice. The cat does not like the bear. The cat does not like the mouse. The cat does not visit the bear. The cat visits the mouse. The mouse is not blue. The mouse is not nice. The mouse likes the cat. The mouse sees the bear. If something visits the bear and the bear visits the cat then the cat visits the bear. If something visits the bear and it likes the mouse then the mouse is kind. If the mouse visits the bear then the bear does not like the mouse.
The cat is not nice.
@0: The bear does not visit the cat.[(triple6)] The bear does not visit the mouse.[(triple7)] The bear is nice.[(triple2)] The bear is not blue.[(triple1)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear sees the cat.[(triple5)] The cat does not like the bear.[(triple9)] The cat does not like the mouse.[(triple10)] The cat does not visit the bear.[(triple11)] The cat is nice.[(triple8)] The cat visits the mouse.[(triple12)] The mouse is not blue.[(triple13)] The mouse is not nice.[(triple14)] The mouse likes the cat.[(triple15)] The mouse sees the bear.[(triple16)]