The lion eats the mouse. The lion is cold. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse is cold. The mouse is nice. The mouse sees the lion. The mouse visits the lion. If someone visits the lion then the lion sees the mouse. If someone sees the lion then they see the mouse. If someone eats the mouse and they are nice then they visit the lion. If someone is nice and cold then they visit the lion. If someone is cold then they are nice. If someone visits the lion and the lion is kind then they see the mouse.
The lion is kind.
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple2)] The lion sees the mouse.[(triple3 OR ((triple10) -> rule1) OR ((((triple8 triple7) -> rule4)) -> rule1) OR ((((triple1 ((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule4)) -> rule1) OR ((((((triple7) -> rule5) triple7) -> rule4)) -> rule1))] The lion visits the mouse.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is blue.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8 OR ((triple7) -> rule5))] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10 OR ((triple8 triple7) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4))] @1: The lion is nice.[(((triple2) -> rule5))] The mouse sees the mouse.[(((triple9) -> rule2))] @2: The lion visits the lion.[(((triple1 ((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5) triple2) -> rule4))]