The bear is young. The bear likes the lion. The bear needs the lion. The bear sees the lion. The bear sees the mouse. The lion likes the mouse. The lion needs the bear. The mouse is not young. The mouse likes the lion. The mouse sees the lion. If something is nice and kind then it likes the lion. If the lion is nice and the lion is not red then the lion is kind. If something needs the lion then the lion does not see the bear. If something needs the mouse then it is not kind. If something likes the mouse then it is kind. If something sees the mouse then it needs the mouse.
The lion likes the lion.
@0: The bear is young.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the lion.[(triple3)] The bear sees the lion.[(triple4)] The bear sees the mouse.[(triple5)] The lion likes the mouse.[(triple6)] The lion needs the bear.[(triple7)] The mouse is not young.[(triple8)] The mouse likes the lion.[(triple9)] The mouse sees the lion.[(triple10)] @1: The bear needs the mouse.[(((triple5) -> rule6))] The lion does not see the bear.[(((triple3) -> rule3))] The lion is kind.[(((triple6) -> rule5))] @2: The bear is not kind.[(((((triple5) -> rule6)) -> rule4))]