The bear chases the mouse. The bear eats the mouse. The bear is blue. The bear is green. The bear is nice. The bear needs the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is blue. The mouse is green. The mouse is nice. The mouse needs the bear. If the mouse eats the bear then the bear chases the mouse. If something needs the mouse and the mouse eats the bear then the bear is blue. If something needs the mouse then the mouse is blue. If something is round and blue then it eats the mouse. If the mouse needs the bear then the mouse eats the bear. If the bear eats the mouse then the mouse is blue. If something chases the bear then the bear needs the mouse. If something chases the mouse and the mouse chases the bear then it eats the bear.
The mouse does not eat the mouse.
@0: The bear chases the mouse.[(triple1 OR ((triple8) -> rule1) OR ((((triple12) -> rule5)) -> rule1))] The bear eats the mouse.[(triple2)] The bear is blue.[(triple3 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple12) -> rule5)) -> rule2) OR ((((triple7) -> rule7) triple8) -> rule2) OR ((((triple7) -> rule7) ((triple12) -> rule5)) -> rule2))] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear needs the mouse.[(triple6 OR ((triple7) -> rule7))] The mouse chases the bear.[(triple7)] The mouse eats the bear.[(triple8 OR ((triple12) -> rule5))] The mouse is blue.[(triple9 OR ((triple2) -> rule6) OR ((triple6) -> rule3) OR ((((triple7) -> rule7)) -> rule3))] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse needs the bear.[(triple12)] @1: The bear eats the bear.[(((triple1 triple7) -> rule8) OR ((((triple8) -> rule1) triple7) -> rule8) OR ((((((triple12) -> rule5)) -> rule1) triple7) -> rule8))]