The lion chases the mouse. The lion is red. The lion needs the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is round. The mouse visits the lion. If someone chases the lion and the lion is red then they are young. If someone needs the lion then the lion needs the mouse. If someone chases the lion then they are young. If someone chases the mouse then the mouse chases the lion. If someone visits the lion and the lion is red then the lion needs the mouse. If the mouse chases the lion and the mouse visits the lion then the lion is big. If someone visits the mouse then the mouse is young. If someone visits the mouse then the mouse visits the lion.
The lion does not chase the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is red.[(triple2)] The lion needs the mouse.[(triple3 OR ((triple7 triple2) -> rule5) OR ((((triple4) -> rule8) triple2) -> rule5))] The lion visits the mouse.[(triple4)] The mouse chases the lion.[(triple5 OR ((triple1) -> rule4))] The mouse is round.[(triple6)] The mouse visits the lion.[(triple7 OR ((triple4) -> rule8))] @1: The lion is big.[(((triple5 triple7) -> rule6) OR ((triple5 ((triple4) -> rule8)) -> rule6) OR ((((triple1) -> rule4) triple7) -> rule6) OR ((((triple1) -> rule4) ((triple4) -> rule8)) -> rule6))] The mouse is young.[(((triple4) -> rule7) OR ((triple5) -> rule3) OR ((triple5 triple2) -> rule1) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule4) triple2) -> rule1))]