The bear eats the mouse. The bear is red. The mouse eats the bear. The mouse is big. The mouse is kind. The mouse is red. The mouse is rough. The mouse is young. The mouse needs the bear. The mouse visits the bear. If someone needs the mouse then they are not kind. If someone visits the bear then the bear needs the mouse. If the bear does not visit the mouse then the mouse is kind.
The bear is rough.
@0: The bear eats the mouse.[(triple1)] The bear is red.[(triple2)] The mouse eats the bear.[(triple3)] The mouse is big.[(triple4)] The mouse is kind.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The mouse needs the bear.[(triple9)] The mouse visits the bear.[(triple10)] @1: The bear needs the mouse.[(((triple10) -> rule2))] @2: The bear is not kind.[(((((triple10) -> rule2)) -> rule1))]