The bear chases the mouse. The bear is red. The bear visits the mouse. The mouse chases the bear. The mouse is kind. The mouse is red. The mouse is rough. The mouse is young. The mouse likes the bear. The mouse visits the bear. If something visits the bear then the bear is kind. If something visits the mouse then the mouse is not nice. If something visits the mouse and the mouse is red then it likes the mouse. If something visits the mouse and it chases the mouse then it likes the mouse. If the mouse is not red then the mouse is rough. If something likes the bear then it is rough.
The mouse does not chase the bear.
@0: The bear chases the mouse.[(triple1)] The bear is red.[(triple2)] The bear visits the mouse.[(triple3)] The mouse chases the bear.[(triple4)] The mouse is kind.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7 OR ((triple9) -> rule6))] The mouse is young.[(triple8)] The mouse likes the bear.[(triple9)] The mouse visits the bear.[(triple10)] @1: The bear is kind.[(((triple10) -> rule1))] The bear likes the mouse.[(((triple3 triple1) -> rule4) OR ((triple3 triple6) -> rule3))] The mouse is not nice.[(((triple3) -> rule2))]