The bear chases the mouse. The bear eats the mouse. The bear is big. The bear is green. The bear is red. The bear is round. The bear is not young. The bear sees the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is red. The mouse is round. The mouse is not young. The mouse does not see the bear. If someone chases the bear then they are green. If someone eats the mouse and the mouse does not eat the bear then the bear eats the mouse. If someone sees the bear then they are not young. If someone chases the mouse then they are big. If someone chases the bear and the bear chases the mouse then the bear sees the mouse. If someone is round then they chase the mouse. If someone is round and they do not see the mouse then the mouse is green. If someone chases the bear and they are not green then the bear is not red.
The mouse does not chase the mouse.
@0: The bear chases the mouse.[(triple1 OR ((triple6) -> rule6))] The bear eats the mouse.[(triple2)] The bear is big.[(triple3 OR ((triple1) -> rule4) OR ((((triple6) -> rule6)) -> rule4))] The bear is green.[(triple4)] The bear is not young.[(triple7)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear sees the mouse.[(triple8 OR ((triple9 triple1) -> rule5) OR ((triple9 ((triple6) -> rule6)) -> rule5))] The mouse chases the bear.[(triple9)] The mouse does not see the bear.[(triple15)] The mouse eats the bear.[(triple10)] The mouse is green.[(triple11 OR ((triple9) -> rule1))] The mouse is not young.[(triple14)] The mouse is red.[(triple12)] The mouse is round.[(triple13)] @1: The mouse chases the mouse.[(((triple13) -> rule6))] @2: The mouse is big.[(((((triple13) -> rule6)) -> rule4))]