The bear eats the mouse. The bear is not kind. The lion is kind. The lion needs the mouse. The mouse eats the lion. The squirrel is kind. The squirrel is not young. If someone eats the lion then they like the squirrel. If someone likes the squirrel then they are nice. If someone needs the bear then the bear likes the squirrel. If the bear eats the mouse then the mouse needs the bear. If someone needs the lion then the lion is red. If someone likes the squirrel and they are not red then the squirrel eats the mouse.
The bear is not nice.
@0: The bear eats the mouse.[(triple1)] The bear is not kind.[(triple2)] The lion is kind.[(triple3)] The lion needs the mouse.[(triple4)] The mouse eats the lion.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is not young.[(triple7)] @1: The mouse likes the squirrel.[(((triple5) -> rule1))] The mouse needs the bear.[(((triple1) -> rule4))] @2: The bear likes the squirrel.[(((((triple1) -> rule4)) -> rule3))] The mouse is nice.[(((((triple5) -> rule1)) -> rule2))] @3: The bear is nice.[(((((((triple1) -> rule4)) -> rule3)) -> rule2))]