The mouse chases the tiger. The mouse eats the tiger. The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is young. The mouse needs the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is young. The tiger needs the mouse. If someone needs the mouse and they eat the tiger then the tiger is blue. If someone chases the mouse and the mouse eats the tiger then the mouse is blue. If someone is kind then they need the tiger. If someone needs the tiger then they eat the tiger. If the tiger is cold then the tiger needs the mouse. If someone is young then they chase the tiger. If the tiger is kind and the tiger needs the mouse then the mouse chases the tiger. If the tiger eats the mouse and the tiger needs the mouse then the mouse needs the tiger.
The tiger eats the tiger.
@0: The mouse chases the tiger.[(triple1 OR ((triple7) -> rule6) OR ((triple14 triple16) -> rule7) OR ((triple14 ((triple13) -> rule5)) -> rule7))] The mouse eats the tiger.[(triple2 OR ((triple8) -> rule4) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple10 triple16) -> rule8)) -> rule4) OR ((((triple10 ((triple13) -> rule5)) -> rule8)) -> rule4))] The mouse is big.[(triple3)] The mouse is blue.[(triple4 OR ((triple9 triple2) -> rule2) OR ((triple9 ((triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple6) -> rule3)) -> rule4)) -> rule2) OR ((triple9 ((((triple10 triple16) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((triple10 ((triple13) -> rule5)) -> rule8)) -> rule4)) -> rule2))] The mouse is cold.[(triple5)] The mouse is kind.[(triple6)] The mouse is young.[(triple7)] The mouse needs the tiger.[(triple8 OR ((triple6) -> rule3) OR ((triple10 triple16) -> rule8) OR ((triple10 ((triple13) -> rule5)) -> rule8))] The tiger chases the mouse.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12 OR ((triple16 ((((triple14) -> rule3)) -> rule4)) -> rule1) OR ((((triple13) -> rule5) ((((triple14) -> rule3)) -> rule4)) -> rule1))] The tiger is cold.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger needs the mouse.[(triple16 OR ((triple13) -> rule5))] @1: The tiger chases the tiger.[(((triple15) -> rule6))] The tiger needs the tiger.[(((triple14) -> rule3))] @2: The tiger eats the tiger.[(((((triple14) -> rule3)) -> rule4))]