The bear does not need the mouse. The lion is rough. The mouse likes the lion. If someone chases the bear then the bear is nice. If the lion likes the bear and the bear does not like the lion then the bear is green. If someone likes the lion then they are nice. If someone likes the bear then they chase the mouse. If someone likes the lion then the lion likes the bear. If someone chases the mouse then they are not kind. If the bear is not nice then the bear does not chase the mouse. If someone likes the bear and they are not nice then the bear needs the lion.
The lion is not kind.
@0: The bear does not need the mouse.[(triple1)] The lion is rough.[(triple2)] The mouse likes the lion.[(triple3)] @1: The lion likes the bear.[(((triple3) -> rule5))] The mouse is nice.[(((triple3) -> rule3))] @2: The lion chases the mouse.[(((((triple3) -> rule5)) -> rule4))] @3: The lion is not kind.[(((((((triple3) -> rule5)) -> rule4)) -> rule6))]