The bear chases the mouse. The bear eats the mouse. The bear is green. The bear is nice. The bear is red. The bear is round. The bear is young. The bear sees the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse sees the bear. If something is green and it eats the bear then it chases the bear. If something sees the bear and the bear is red then the bear chases the mouse. If something is nice then it sees the mouse. If something eats the mouse and it chases the mouse then it sees the bear. If something sees the bear then the bear chases the mouse. If something is round and it chases the bear then the bear eats the mouse.
The mouse chases the mouse.
@0: The bear chases the mouse.[(triple1 OR ((triple15) -> rule5) OR ((triple15 triple5) -> rule2))] The bear eats the mouse.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear sees the mouse.[(triple8 OR ((triple4) -> rule3))] The mouse chases the bear.[(triple9 OR ((triple11 triple10) -> rule1))] The mouse eats the bear.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse sees the bear.[(triple15)] @1: The bear sees the bear.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple15) -> rule5)) -> rule4) OR ((triple2 ((triple15 triple5) -> rule2)) -> rule4))] The mouse sees the mouse.[(((triple12) -> rule3))]