The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion needs the mouse. The mouse chases the lion. The mouse is red. The mouse needs the lion. If the lion eats the mouse then the lion chases the mouse. If someone is nice and blue then they need the mouse. If the mouse needs the lion then the lion chases the mouse. If the mouse needs the lion then the lion is blue. If the mouse is red and the mouse needs the lion then the lion needs the mouse. If someone needs the lion then the lion eats the mouse.
The lion is not blue.
@0: The lion chases the mouse.[(triple1 OR ((triple2) -> rule1) OR ((triple7) -> rule3) OR ((((triple7) -> rule6)) -> rule1))] The lion eats the mouse.[(triple2 OR ((triple7) -> rule6))] The lion is blue.[(triple3 OR ((triple7) -> rule4))] The lion needs the mouse.[(triple4 OR ((triple6 triple7) -> rule5))] The mouse chases the lion.[(triple5)] The mouse is red.[(triple6)] The mouse needs the lion.[(triple7)]