The mouse eats the tiger. The mouse is big. The mouse is kind. The mouse is rough. The mouse sees the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is kind. The tiger is red. The tiger sees the mouse. If the mouse chases the tiger and the tiger chases the mouse then the tiger eats the mouse. If the mouse sees the tiger and the mouse chases the tiger then the tiger sees the mouse. If something sees the tiger and the tiger sees the mouse then it is big. If something eats the tiger then the tiger chases the mouse. If something is kind and it chases the mouse then it sees the mouse. If something sees the mouse then the mouse is red. If something sees the mouse and it eats the tiger then the tiger eats the mouse. If something sees the mouse and it is big then the mouse chases the tiger.
The mouse is kind.
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2 OR ((triple5 triple10) -> rule3) OR ((triple5 ((triple8 triple6) -> rule5)) -> rule3) OR ((triple5 ((triple8 ((triple1) -> rule4)) -> rule5)) -> rule3))] The mouse is kind.[(triple3)] The mouse is rough.[(triple4)] The mouse sees the tiger.[(triple5)] The tiger chases the mouse.[(triple6 OR ((triple1) -> rule4))] The tiger eats the mouse.[(triple7)] The tiger is kind.[(triple8)] The tiger is red.[(triple9)] The tiger sees the mouse.[(triple10 OR ((triple8 triple6) -> rule5) OR ((triple8 ((triple1) -> rule4)) -> rule5))] @1: The mouse is red.[(((triple10) -> rule6) OR ((((triple8 triple6) -> rule5)) -> rule6) OR ((((triple8 ((triple1) -> rule4)) -> rule5)) -> rule6))]