The bear is not blue. The bear is cold. The bear is kind. The bear is not round. The bear is young. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is round. The mouse is not young. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If something visits the bear then it is blue.
The mouse is not cold.
@0: The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is not blue.[(triple1)] The bear is not round.[(triple4)] The bear is young.[(triple5)] The bear needs the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse is blue.[(triple9 OR ((triple16) -> rule1))] The mouse is cold.[(triple10)] The mouse is kind.[(triple11)] The mouse is not young.[(triple13)] The mouse is round.[(triple12)] The mouse needs the bear.[(triple14)] The mouse sees the bear.[(triple15)] The mouse visits the bear.[(triple16)]