The bear needs the mouse. The bear visits the cat. The bear visits the lion. The cat is not nice. The cat does not visit the mouse. The lion is big. The lion is nice. The lion sees the bear. The mouse needs the cat. The mouse visits the bear. If something sees the lion and the lion sees the bear then it is nice. If something is big then it needs the lion. If something visits the bear and it is kind then it sees the lion. If the bear needs the cat and the bear is big then the cat does not need the bear. If something visits the bear and it sees the mouse then the mouse needs the bear. If something needs the mouse then the mouse is kind. If the bear is young and the bear is nice then the bear visits the lion. If something needs the bear and the bear needs the mouse then the bear sees the lion.
The mouse sees the mouse.
@0: The bear needs the mouse.[(triple1)] The bear visits the cat.[(triple2)] The bear visits the lion.[(triple3)] The cat does not visit the mouse.[(triple5)] The cat is not nice.[(triple4)] The lion is big.[(triple6)] The lion is nice.[(triple7)] The lion sees the bear.[(triple8)] The mouse needs the cat.[(triple9)] The mouse visits the bear.[(triple10)] @1: The lion needs the lion.[(((triple6) -> rule2))] The mouse is kind.[(((triple1) -> rule6))] @2: The mouse sees the lion.[(((triple10 ((triple1) -> rule6)) -> rule3))] @3: The mouse is nice.[(((((triple10 ((triple1) -> rule6)) -> rule3) triple8) -> rule1))]