The lion eats the mouse. The lion is cold. The lion is green. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is not cold. The mouse is nice. The mouse sees the lion. The mouse does not visit the lion. If something is nice then it is not kind. If the mouse is nice and the mouse is green then the mouse sees the lion. If something is kind and green then it visits the lion. If something sees the mouse and it visits the lion then it is rough. If something eats the lion and it eats the mouse then the lion visits the mouse. If something eats the lion and the lion is kind then it sees the lion. If something eats the lion and it visits the lion then it does not eat the mouse. If the lion eats the mouse then the lion is kind.
The lion visits the lion.
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion sees the mouse.[(triple4)] The lion visits the mouse.[(triple5)] The mouse does not visit the lion.[(triple10)] The mouse eats the lion.[(triple6)] The mouse is nice.[(triple8)] The mouse is not cold.[(triple7)] The mouse sees the lion.[(triple9 OR ((triple6 ((triple1) -> rule8)) -> rule6))] @1: The lion is kind.[(((triple1) -> rule8))] The mouse is not kind.[(((triple8) -> rule1))] @2: The lion visits the lion.[(((((triple1) -> rule8) triple3) -> rule3))] @3: The lion is rough.[(((triple4 ((((triple1) -> rule8) triple3) -> rule3)) -> rule4))]