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