The bear is big. The bear is blue. The bear is nice. The bear sees the mouse. The bear visits the mouse. The lion is blue. The lion is cold. The lion is young. The lion needs the rabbit. The mouse is blue. The mouse needs the bear. The mouse sees the rabbit. The rabbit is nice. The rabbit needs the bear. The rabbit visits the mouse. If something needs the lion and it sees the rabbit then the rabbit sees the bear. If something needs the bear and the bear needs the lion then the bear is nice. If something is nice then it visits the mouse. If something visits the mouse then it needs the mouse. Blue, cold things are nice. If something needs the mouse then the mouse is blue. If something needs the lion and it visits the bear then it visits the lion. If the bear sees the rabbit then the bear visits the rabbit.
The lion is not young.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear sees the mouse.[(triple4)] The bear visits the mouse.[(triple5 OR ((triple3) -> rule3))] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is young.[(triple8)] The lion needs the rabbit.[(triple9)] The mouse is blue.[(triple10 OR ((((triple15) -> rule4)) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((((triple13) -> rule3)) -> rule4)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple6 triple7) -> rule5)) -> rule3)) -> rule4)) -> rule6))] The mouse needs the bear.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit visits the mouse.[(triple15 OR ((triple13) -> rule3))] @1: The bear needs the mouse.[(((triple5) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] The lion is nice.[(((triple6 triple7) -> rule5))] The rabbit needs the mouse.[(((triple15) -> rule4) OR ((((triple13) -> rule3)) -> rule4))] @2: The lion visits the mouse.[(((((triple6 triple7) -> rule5)) -> rule3))] @3: The lion needs the mouse.[(((((((triple6 triple7) -> rule5)) -> rule3)) -> rule4))]