The bear eats the rabbit. The bear is rough. The bear needs the lion. The lion does not chase the mouse. The lion eats the mouse. The mouse does not chase the lion. The mouse chases the rabbit. The mouse eats the bear. The mouse needs the bear. The rabbit is round. If someone is round then they eat the mouse. If someone is cold and they eat the mouse then they chase the bear. If someone eats the mouse and the mouse needs the rabbit then the mouse is cold. If someone needs the rabbit and they are not rough then they chase the lion. If someone needs the bear then the bear is young. If someone eats the bear then the bear is young. If someone needs the mouse and they do not chase the mouse then the mouse eats the lion. If someone eats the mouse then they are cold.
The rabbit does not eat the bear.
@0: The bear eats the rabbit.[(triple1)] The bear is rough.[(triple2)] The bear needs the lion.[(triple3)] The lion does not chase the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The mouse chases the rabbit.[(triple7)] The mouse does not chase the lion.[(triple6)] The mouse eats the bear.[(triple8)] The mouse needs the bear.[(triple9)] The rabbit is round.[(triple10)] @1: The bear is young.[(((triple8) -> rule6) OR ((triple9) -> rule5))] The lion is cold.[(((triple5) -> rule8))] The rabbit eats the mouse.[(((triple10) -> rule1))] @2: The lion chases the bear.[(((((triple5) -> rule8) triple5) -> rule2))] The rabbit is cold.[(((((triple10) -> rule1)) -> rule8))] @3: The rabbit chases the bear.[(((((((triple10) -> rule1)) -> rule8) ((triple10) -> rule1)) -> rule2))]