The bear chases the mouse. The bear is not cold. The bear is nice. The bear is red. The bear is rough. The bear is round. The bear sees the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is not cold. The mouse is nice. The mouse is red. The mouse is not rough. The mouse is round. The mouse sees the bear. The mouse visits the bear. If someone chases the bear and they are not red then the bear sees the mouse. If someone is round and red then they see the bear. If someone chases the bear then they visit the mouse. If someone visits the bear and the bear is red then they chase the bear. If someone is rough then they chase the bear. If someone is rough and they do not see the mouse then the mouse does not see the bear. If someone is cold and they do not chase the bear then they are nice. If someone visits the bear and the bear does not visit the mouse then the bear does not chase the mouse.
The mouse does not see the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is nice.[(triple3)] The bear is not cold.[(triple2)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8 OR ((((triple5) -> rule5)) -> rule3))] The mouse chases the bear.[(triple9 OR ((triple16 triple4) -> rule4))] The mouse is nice.[(triple11)] The mouse is not cold.[(triple10)] The mouse is not rough.[(triple13)] The mouse is red.[(triple12)] The mouse is round.[(triple14)] The mouse sees the bear.[(triple15 OR ((triple14 triple12) -> rule2))] The mouse visits the bear.[(triple16)] @1: The bear chases the bear.[(((triple5) -> rule5))] The bear sees the bear.[(((triple6 triple4) -> rule2))] The mouse visits the mouse.[(((triple9) -> rule3) OR ((((triple16 triple4) -> rule4)) -> rule3))]