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