The bear does not chase the mouse. The bear eats the lion. The bear is green. The bear is round. The bear is young. The bear does not need the mouse. The lion does not chase the mouse. The lion eats the tiger. The mouse chases the bear. The mouse does not eat the lion. The mouse is young. The mouse does not need the bear. The mouse needs the lion. The tiger chases the mouse. The tiger eats the bear. The tiger is round. If the tiger eats the mouse and the mouse is young then the mouse is red. If someone is young then they need the tiger. If someone needs the tiger and they are not young then they are red. If someone is red then they chase the mouse. If the tiger is young and the tiger is red then the tiger needs the mouse. If someone is round then they eat the mouse. If the tiger needs the bear and the tiger does not chase the lion then the bear eats the lion. If the bear is not red and the bear does not need the mouse then the bear chases the mouse.
The mouse is red.
@0: The bear does not chase the mouse.[(triple1)] The bear does not need the mouse.[(triple6)] The bear eats the lion.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The lion does not chase the mouse.[(triple7)] The lion eats the tiger.[(triple8)] The mouse chases the bear.[(triple9)] The mouse does not eat the lion.[(triple10)] The mouse does not need the bear.[(triple12)] The mouse is young.[(triple11)] The mouse needs the lion.[(triple13)] The tiger chases the mouse.[(triple14)] The tiger eats the bear.[(triple15)] The tiger is round.[(triple16)] @1: The bear eats the mouse.[(((triple4) -> rule6))] The bear needs the tiger.[(((triple5) -> rule2))] The mouse needs the tiger.[(((triple11) -> rule2))] The tiger eats the mouse.[(((triple16) -> rule6))] @2: The mouse is red.[(((((triple16) -> rule6) triple11) -> rule1))] @3: The mouse chases the mouse.[(((((((triple16) -> rule6) triple11) -> rule1)) -> rule4))]