The bear chases the mouse. The bear needs the mouse. The mouse chases the bear. The mouse is cold. The mouse is kind. The mouse is young. The mouse likes the bear. If something needs the mouse then the mouse is red. If something needs the bear then the bear chases the mouse. If something chases the mouse then it needs the bear. If something is cold and round then it needs the bear. If something is red then it chases the mouse. If something is cold and round then it does not like the bear.
The mouse does not need the bear.
@0: The bear chases the mouse.[(triple1 OR ((((((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2))] The bear needs the mouse.[(triple2)] The mouse chases the bear.[(triple3)] The mouse is cold.[(triple4)] The mouse is kind.[(triple5)] The mouse is young.[(triple6)] The mouse likes the bear.[(triple7)] @1: The bear needs the bear.[(((triple1) -> rule3) OR ((((((((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2)) -> rule3))] The mouse is red.[(((triple2) -> rule1))] @2: The mouse chases the mouse.[(((((triple2) -> rule1)) -> rule5))] @3: The mouse needs the bear.[(((((((triple2) -> rule1)) -> rule5)) -> rule3))]