The bear is young. The lion is not cold. The lion likes the mouse. The lion does not need the bear. The lion does not see the mouse. The mouse is kind. The mouse is rough. The mouse likes the bear. The mouse needs the lion. The mouse sees the bear. If the lion needs the bear then the bear is young. If someone sees the bear and the bear likes the lion then the lion is young. If someone likes the lion and they see the mouse then the lion does not need the bear. If the lion needs the mouse then the lion likes the mouse. If someone is young then they like the lion. If someone needs the lion and the lion likes the bear then they do not like the lion. If someone likes the lion and they need the mouse then the mouse does not see the bear. If someone is rough then they like the mouse.
The bear likes the lion.
@0: The bear is young.[(triple1)] The lion does not need the bear.[(triple4)] The lion does not see the mouse.[(triple5)] The lion is not cold.[(triple2)] The lion likes the mouse.[(triple3)] The mouse is kind.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the bear.[(triple8)] The mouse needs the lion.[(triple9)] The mouse sees the bear.[(triple10)] @1: The bear likes the lion.[(((triple1) -> rule5))] The mouse likes the mouse.[(((triple7) -> rule8))] @2: The lion is young.[(((triple10 ((triple1) -> rule5)) -> rule2))] @3: The lion likes the lion.[(((((triple10 ((triple1) -> rule5)) -> rule2)) -> rule5))]