The bear chases the mouse. The bear is big. The bear is blue. The bear is green. The bear is young. The bear needs the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is blue. The mouse is green. The mouse is young. The mouse visits the bear. If the mouse is green and the mouse visits the bear then the mouse needs the bear. If someone needs the bear then the bear needs the mouse. If the mouse chases the bear and the bear is big then the mouse visits the bear.
The bear needs the bear.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is young.[(triple5)] The bear needs the mouse.[(triple6 OR ((((triple10 triple12) -> rule1)) -> rule2) OR ((((triple10 ((triple8 triple2) -> rule3)) -> rule1)) -> rule2))] The bear visits the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse is young.[(triple11)] The mouse visits the bear.[(triple12 OR ((triple8 triple2) -> rule3))] @1: The mouse needs the bear.[(((triple10 triple12) -> rule1) OR ((triple10 ((triple8 triple2) -> rule3)) -> rule1))]