The bear is not cold. The lion is kind. The lion is young. The lion sees the bear. The mouse chases the bear. The mouse is green. The mouse is kind. The mouse is young. The mouse sees the bear. The mouse sees the lion. If something sees the bear and it is kind then the bear sees the lion. If something sees the lion then it sees the mouse. If something is cold and it needs the lion then the lion does not chase the mouse. If something needs the mouse then the mouse needs the lion. If something sees the bear then it does not chase the lion. If the bear sees the lion then the lion needs the mouse. If something sees the bear then it is cold. If something is red and not kind then it is young.
The lion needs the bear.
@0: The bear is not cold.[(triple1)] The lion is kind.[(triple2)] The lion is young.[(triple3)] The lion sees the bear.[(triple4)] The mouse chases the bear.[(triple5)] The mouse is green.[(triple6)] The mouse is kind.[(triple7)] The mouse is young.[(triple8)] The mouse sees the bear.[(triple9)] The mouse sees the lion.[(triple10)] @1: The bear sees the lion.[(((triple4 triple2) -> rule1) OR ((triple9 triple7) -> rule1))] The lion does not chase the lion.[(((triple4) -> rule5))] The lion is cold.[(((triple4) -> rule7))] The mouse does not chase the lion.[(((triple9) -> rule5))] The mouse is cold.[(((triple9) -> rule7))] The mouse sees the mouse.[(((triple10) -> rule2))] @2: The bear sees the mouse.[(((((triple4 triple2) -> rule1)) -> rule2) OR ((((triple9 triple7) -> rule1)) -> rule2))] The lion needs the mouse.[(((((triple4 triple2) -> rule1)) -> rule6) OR ((((triple9 triple7) -> rule1)) -> rule6))] @3: The mouse needs the lion.[(((((((triple4 triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple9 triple7) -> rule1)) -> rule6)) -> rule4))] @4: The lion does not chase the mouse.[(((((triple9) -> rule7) ((((((triple4 triple2) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((triple9) -> rule7) ((((((triple9 triple7) -> rule1)) -> rule6)) -> rule4)) -> rule3))]