The mouse chases the tiger. The mouse eats the tiger. The mouse is big. The mouse is blue. The mouse is green. The mouse is kind. The mouse is round. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. The tiger is blue. The tiger is green. If someone is big and green then they see the tiger. If someone is round and they see the tiger then the tiger is green. If the mouse is big then the mouse eats the tiger. If someone is blue and they see the tiger then they eat the mouse. If someone is green and they eat the mouse then the mouse chases the tiger. If someone sees the mouse and they eat the mouse then the mouse sees the tiger.
The mouse is not kind.
@0: The mouse chases the tiger.[(triple1 OR ((triple12 triple9) -> rule5) OR ((triple5 ((triple4 triple8) -> rule4)) -> rule5) OR ((((triple7 triple8) -> rule2) triple9) -> rule5) OR ((triple12 ((triple11 ((triple10 triple12) -> rule1)) -> rule4)) -> rule5) OR ((triple5 ((triple4 ((triple3 triple5) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple3 triple5) -> rule1)) -> rule2) triple9) -> rule5) OR ((((triple7 triple8) -> rule2) ((triple11 ((triple10 triple12) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple3 triple5) -> rule1)) -> rule2) ((triple11 ((triple10 triple12) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((triple11 ((triple10 ((triple7 triple8) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 triple8) -> rule2) ((triple11 ((triple10 ((triple7 triple8) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple3 triple5) -> rule1)) -> rule2) ((triple11 ((triple10 ((triple7 triple8) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((triple11 ((triple10 ((triple7 ((triple3 triple5) -> rule1)) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 triple8) -> rule2) ((triple11 ((triple10 ((triple7 ((triple3 triple5) -> rule1)) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple3 triple5) -> rule1)) -> rule2) ((triple11 ((triple10 ((triple7 ((triple3 triple5) -> rule1)) -> rule2)) -> rule1)) -> rule4)) -> rule5))] The mouse eats the tiger.[(triple2 OR ((triple3) -> rule3))] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse sees the tiger.[(triple8 OR ((triple3 triple5) -> rule1))] The tiger eats the mouse.[(triple9 OR ((triple11 ((triple10 triple12) -> rule1)) -> rule4) OR ((triple11 ((triple10 ((triple7 triple8) -> rule2)) -> rule1)) -> rule4) OR ((triple11 ((triple10 ((triple7 ((triple3 triple5) -> rule1)) -> rule2)) -> rule1)) -> rule4))] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple3 triple5) -> rule1)) -> rule2))] @1: The mouse eats the mouse.[(((triple4 triple8) -> rule4) OR ((triple4 ((triple3 triple5) -> rule1)) -> rule4))] The tiger sees the tiger.[(((triple10 triple12) -> rule1) OR ((triple10 ((triple7 triple8) -> rule2)) -> rule1) OR ((triple10 ((triple7 ((triple3 triple5) -> rule1)) -> rule2)) -> rule1))]