The lion chases the mouse. The lion is green. The lion is kind. The lion sees the tiger. The mouse chases the lion. The mouse is big. The mouse is green. The mouse is kind. The mouse is rough. The mouse likes the lion. The mouse likes the tiger. The tiger is big. The tiger is red. The tiger likes the lion. The tiger likes the mouse. If something is green then it chases the mouse. If something chases the tiger then it likes the lion. If something chases the lion then it is green. If something is kind and it sees the tiger then the tiger chases the lion. If something sees the lion and the lion sees the mouse then the mouse chases the lion. If something chases the mouse and it is big then the mouse sees the tiger.
The lion chases the lion.
@0: The lion chases the mouse.[(triple1 OR ((triple2) -> rule1))] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion sees the tiger.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is big.[(triple6)] The mouse is green.[(triple7 OR ((triple5) -> rule3))] The mouse is kind.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the lion.[(triple10)] The mouse likes the tiger.[(triple11)] The tiger is big.[(triple12)] The tiger is red.[(triple13)] The tiger likes the lion.[(triple14)] The tiger likes the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] The tiger chases the lion.[(((triple3 triple4) -> rule4) OR ((triple8 ((((triple7) -> rule1) triple6) -> rule6)) -> rule4) OR ((triple8 ((((((triple5) -> rule3)) -> rule1) triple6) -> rule6)) -> rule4))] @2: The mouse sees the tiger.[(((((triple7) -> rule1) triple6) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) triple6) -> rule6) OR ((((((((triple3 triple4) -> rule4)) -> rule3)) -> rule1) triple12) -> rule6))] The tiger is green.[(((((triple3 triple4) -> rule4)) -> rule3) OR ((((triple8 ((((triple7) -> rule1) triple6) -> rule6)) -> rule4)) -> rule3) OR ((((triple8 ((((((triple5) -> rule3)) -> rule1) triple6) -> rule6)) -> rule4)) -> rule3))] @3: The tiger chases the mouse.[(((((((triple3 triple4) -> rule4)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple7) -> rule1) triple6) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple8 ((((((triple5) -> rule3)) -> rule1) triple6) -> rule6)) -> rule4)) -> rule3)) -> rule1))]