The lion eats the mouse. The lion is big. The lion is blue. The lion is not cold. The lion is green. The lion is young. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse needs the lion. If someone is cold and young then they need the mouse. If someone needs the lion then they do not need the mouse. If someone is young then they need the lion. If someone is cold then they eat the lion. If the mouse eats the lion then the lion is young. If the mouse is young then the mouse eats the lion. If the lion eats the mouse and the lion is not green then the lion does not visit the mouse. If the lion does not need the mouse then the mouse is big.
The mouse needs the lion.
@0: The lion eats the mouse.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple5)] The lion is not cold.[(triple4)] The lion is young.[(triple6 OR ((triple8) -> rule5))] The lion visits the mouse.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is blue.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion needs the lion.[(((triple6) -> rule3) OR ((((triple8) -> rule5)) -> rule3))] The mouse does not need the mouse.[(((triple10) -> rule2))] @2: The lion does not need the mouse.[(((((triple6) -> rule3)) -> rule2) OR ((((((triple8) -> rule5)) -> rule3)) -> rule2))] @3: The mouse is big.[(((((((triple6) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule3)) -> rule2)) -> rule8))]