The lion eats the mouse. The lion is blue. The lion is green. The lion is nice. The lion is red. The lion is young. The lion needs the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the lion. The mouse visits the lion. If something needs the mouse then it needs the lion. If something visits the lion then the lion visits the mouse. If something eats the mouse then it visits the mouse. If the mouse eats the lion and the mouse needs the lion then the lion needs the mouse. If something is young then it visits the mouse. If something needs the lion then it is blue.
The mouse eats the lion.
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2 OR ((((triple7) -> rule1)) -> rule6) OR ((((((triple9 triple15) -> rule4)) -> rule1)) -> rule6))] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion is young.[(triple6)] The lion needs the mouse.[(triple7 OR ((triple9 triple15) -> rule4))] The lion visits the mouse.[(triple8 OR ((triple1) -> rule3) OR ((triple16) -> rule2) OR ((triple6) -> rule5))] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10 OR ((triple15) -> rule6))] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the lion.[(triple15)] The mouse visits the lion.[(triple16)] @1: The lion needs the lion.[(((triple7) -> rule1) OR ((((triple9 triple15) -> rule4)) -> rule1))] The mouse visits the mouse.[(((triple14) -> rule5))]