The lion eats the mouse. The lion is blue. The lion is green. The lion is nice. The lion is rough. The lion is young. The lion sees 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 rough. The mouse is young. The mouse sees the lion. The mouse visits the lion. If someone is nice then they eat the lion. If someone is young then they visit the mouse. If the lion eats the mouse then the lion visits the mouse. If someone eats the mouse then the mouse sees the lion. If the lion sees the mouse and the lion visits the mouse then the mouse is blue. If someone visits the lion and they are blue then they see the mouse. If someone visits the lion and they eat the lion then they are blue. If someone is rough then they visit the lion.
The lion is not young.
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2 OR ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7))] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion sees the mouse.[(triple7 OR ((((triple5) -> rule8) triple2) -> rule6) OR ((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6))] The lion visits the mouse.[(triple8 OR ((triple1) -> rule3) OR ((triple6) -> rule2))] The mouse eats the lion.[(triple9 OR ((triple12) -> rule1))] The mouse is blue.[(triple10 OR ((triple16 triple9) -> rule7) OR ((triple7 triple8) -> rule5) OR ((triple16 ((triple12) -> rule1)) -> rule7) OR ((triple7 ((triple1) -> rule3)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule5) OR ((((triple13) -> rule8) triple9) -> rule7) OR ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7) OR ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5) OR ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5))] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse sees the lion.[(triple15 OR ((triple1) -> rule4))] The mouse visits the lion.[(triple16 OR ((triple13) -> rule8))] @1: The lion eats the lion.[(((triple4) -> rule1))] The lion visits the lion.[(((triple5) -> rule8))] The mouse sees the mouse.[(((triple16 triple10) -> rule6) OR ((triple16 ((triple16 triple9) -> rule7)) -> rule6) OR ((triple16 ((triple7 triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) triple10) -> rule6) OR ((((triple13) -> rule8) ((triple16 triple9) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple7 triple8) -> rule5)) -> rule6) OR ((triple16 ((triple16 ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((triple16 ((triple7 ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((triple16 ((((triple13) -> rule8) triple9) -> rule7)) -> rule6) OR ((triple16 ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple16 ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple7 ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((triple13) -> rule8) triple9) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6))] The mouse visits the mouse.[(((triple14) -> rule2))]