The lion needs the mouse. The lion visits the mouse. The mouse eats the lion. If something is red then it is not big. If something eats the mouse and it is not young then it is big. If something is young then it visits the lion. If the mouse needs the lion and the mouse is not red then the mouse does not eat the lion. If the lion needs the mouse then the lion is red. If something eats the lion and it does not visit the lion then the lion visits the mouse. If something eats the lion then the lion visits the mouse. If something visits the lion then the lion does not visit the mouse.
The lion is big.
@0: The lion needs the mouse.[(triple1)] The lion visits the mouse.[(triple2 OR ((triple3) -> rule7))] The mouse eats the lion.[(triple3)] @1: The lion is red.[(((triple1) -> rule5))] @2: The lion is not big.[(((((triple1) -> rule5)) -> rule1))]