The bear chases the mouse. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear sees the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is blue. The mouse is kind. The mouse is not nice. The mouse is red. The mouse is rough. The mouse does not see the bear. The mouse visits the bear. If something sees the bear then it visits the mouse. If something sees the bear then it is nice. If the mouse is rough and the mouse is nice then the mouse visits the bear. If something is rough and it does not visit the bear then the bear is not kind. If something chases the bear and the bear sees the mouse then the bear visits the mouse. If something chases the bear and the bear is red then it sees the mouse. If something chases the mouse and it is not kind then the mouse chases the bear. If something visits the mouse and the mouse is not kind then it does not chase the bear.
The mouse does not visit the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the mouse.[(triple7 OR ((triple8 triple6) -> rule5))] The mouse chases the bear.[(triple8)] The mouse does not see the bear.[(triple14)] The mouse is blue.[(triple9)] The mouse is kind.[(triple10)] The mouse is not nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse visits the bear.[(triple15)] @1: The mouse sees the mouse.[(((triple8 triple5) -> rule6))]