The lion chases the mouse. The lion eats the mouse. The lion is cold. The lion is green. The lion is nice. The lion is red. The lion is rough. The lion sees the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is cold. The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse sees the lion. If someone is cold and they see the lion then the lion eats the mouse. If someone is nice then they eat the lion. If someone sees the mouse then the mouse is cold. If someone is nice and they see the mouse then they chase the mouse. If someone is green and cold then they see the mouse. If someone eats the mouse and they see the lion then they chase the mouse.
The mouse chases the mouse.
@0: The lion chases the mouse.[(triple1 OR ((triple5 triple8) -> rule4) OR ((triple5 ((triple4 triple3) -> rule5)) -> rule4))] The lion eats the mouse.[(triple2 OR ((triple11 triple16) -> rule1) OR ((((triple8) -> rule3) triple16) -> rule1) OR ((((((triple4 triple3) -> rule5)) -> rule3) triple16) -> rule1))] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion is rough.[(triple7)] The lion sees the mouse.[(triple8 OR ((triple4 triple3) -> rule5))] The mouse chases the lion.[(triple9)] The mouse eats the lion.[(triple10 OR ((triple13) -> rule2))] The mouse is cold.[(triple11 OR ((triple8) -> rule3) OR ((((triple4 triple3) -> rule5)) -> rule3))] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse is rough.[(triple15)] The mouse sees the lion.[(triple16)] @1: The lion eats the lion.[(((triple5) -> rule2))] The mouse sees the mouse.[(((triple12 triple11) -> rule5) OR ((triple12 ((triple8) -> rule3)) -> rule5) OR ((triple12 ((((triple4 triple3) -> rule5)) -> rule3)) -> rule5))] @2: The mouse chases the mouse.[(((triple13 ((triple12 triple11) -> rule5)) -> rule4) OR ((triple13 ((triple12 ((triple8) -> rule3)) -> rule5)) -> rule4) OR ((triple13 ((triple12 ((((triple4 triple3) -> rule5)) -> rule3)) -> rule5)) -> rule4))]