The bear eats the lion. The bear eats the mouse. The bear is nice. The bear does not see the lion. The bear sees the mouse. The lion eats the bear. The lion eats the mouse. The lion is red. The lion visits the bear. The lion visits the mouse. The mouse eats the bear. The mouse eats the lion. The mouse is cold. The mouse is kind. The mouse sees the bear. The mouse visits the bear. If something sees the lion then the lion sees the mouse. If something eats the bear then it sees the lion. If something is red then it eats the mouse. If something visits the mouse then the mouse sees the bear. If something eats the lion and the lion sees the mouse then the lion is not cold. If the mouse is cold and the mouse does not see the bear then the bear eats the lion.
The mouse does not eat the mouse.
@0: The bear does not see the lion.[(triple4)] The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear is nice.[(triple3)] The bear sees the mouse.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the mouse.[(triple7 OR ((triple8) -> rule3))] The lion is red.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the mouse.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is cold.[(triple13)] The mouse is kind.[(triple14)] The mouse sees the bear.[(triple15 OR ((triple10) -> rule4))] The mouse visits the bear.[(triple16)] @1: The lion sees the lion.[(((triple6) -> rule2))] The mouse sees the lion.[(((triple11) -> rule2))] @2: The lion sees the mouse.[(((((triple11) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] @3: The lion is not cold.[(((triple1 ((((triple11) -> rule2)) -> rule1)) -> rule5) OR ((triple1 ((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((triple12 ((((triple11) -> rule2)) -> rule1)) -> rule5) OR ((triple12 ((((triple6) -> rule2)) -> rule1)) -> rule5))]