The bear is cold. The mouse chases the bear. The mouse likes the bear. If the bear likes the mouse and the mouse chases the bear then the bear needs the mouse. If someone likes the mouse then they like the bear. Rough people are kind. If the mouse likes the bear and the bear needs the mouse then the mouse is rough. If someone chases the bear then they like the mouse. If someone chases the bear and the bear is rough then the bear chases the mouse. If someone likes the bear and the bear likes the mouse then they chase the mouse. If the bear is cold then the bear needs the mouse.
The bear is not cold.
@0: The bear is cold.[(triple1)] The mouse chases the bear.[(triple2)] The mouse likes the bear.[(triple3 OR ((((triple2) -> rule5)) -> rule2))] @1: The bear needs the mouse.[(((triple1) -> rule8))] The mouse likes the mouse.[(((triple2) -> rule5))] @2: The mouse is rough.[(((triple3 ((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule5)) -> rule2) ((triple1) -> rule8)) -> rule4))] @3: The mouse is kind.[(((((triple3 ((triple1) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule2) ((triple1) -> rule8)) -> rule4)) -> rule3))]