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