The bald eagle chases the bear. The bald eagle is cold. The bald eagle sees the bear. The bear chases the mouse. The bear is nice. The bear needs the lion. The bear sees the lion. The lion is nice. The lion sees the mouse. The mouse is kind. The mouse sees the bald eagle. The mouse sees the bear. If something is nice then it chases the bald eagle. If something chases the bear then it is kind. If something chases the bald eagle and the bald eagle sees the lion then it chases the bear. If something needs the bear then it needs the mouse. If the bald eagle is cold then the bald eagle needs the mouse. If something sees the bald eagle then the bald eagle sees the lion.
The lion is kind.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the mouse.[(triple4)] The bear is nice.[(triple5)] The bear needs the lion.[(triple6)] The bear sees the lion.[(triple7)] The lion is nice.[(triple8)] The lion sees the mouse.[(triple9)] The mouse is kind.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bald eagle is kind.[(((triple1) -> rule2))] The bald eagle needs the mouse.[(((triple2) -> rule5))] The bald eagle sees the lion.[(((triple11) -> rule6))] The bear chases the bald eagle.[(((triple5) -> rule1))] The lion chases the bald eagle.[(((triple8) -> rule1))] @2: The bear chases the bear.[(((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3))] The lion chases the bear.[(((((triple8) -> rule1) ((triple11) -> rule6)) -> rule3))] @3: The bear is kind.[(((((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))] The lion is kind.[(((((((triple8) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))]