The lion needs the mouse. The mouse is blue. The mouse visits the lion. If something is young and it visits the mouse then the mouse visits the lion. If something visits the lion then the lion is nice. If something visits the mouse then the mouse sees the lion. If the lion visits the mouse and the mouse sees the lion then the lion needs the mouse. All young things are red. If the mouse visits the lion then the lion sees the mouse. If something visits the lion then the lion visits the mouse. If something visits the mouse and the mouse sees the lion then it needs the mouse.
The lion is not red.
@0: The lion needs the mouse.[(triple1 OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule4) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule3)) -> rule8))] The mouse is blue.[(triple2)] The mouse visits the lion.[(triple3)] @1: The lion is nice.[(((triple3) -> rule2))] The lion sees the mouse.[(((triple3) -> rule6))] The lion visits the mouse.[(((triple3) -> rule7))] @2: The mouse sees the lion.[(((((triple3) -> rule7)) -> rule3))]