The mouse eats the tiger. The mouse is big. The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse likes the tiger. The mouse needs the tiger. The tiger eats the mouse. The tiger is cold. The tiger is red. The tiger needs the mouse. If something likes the tiger then the tiger is cold. If the mouse needs the tiger and the mouse eats the tiger then the tiger eats the mouse. If something is red and it eats the mouse then it likes the mouse. If something likes the mouse and it eats the mouse then the mouse eats the tiger. If something likes the tiger and it is red then the tiger is cold. If something needs the tiger then it likes the tiger.
The mouse does not like the mouse.
@0: The mouse eats the tiger.[(triple1 OR ((((triple11 triple9) -> rule3) triple9) -> rule4))] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the tiger.[(triple7 OR ((triple8) -> rule6))] The mouse needs the tiger.[(triple8)] The tiger eats the mouse.[(triple9 OR ((triple8 triple1) -> rule2))] The tiger is cold.[(triple10 OR ((triple7) -> rule1) OR ((triple7 triple5) -> rule5) OR ((((triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule6) triple5) -> rule5))] The tiger is red.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The tiger likes the mouse.[(((triple11 triple9) -> rule3) OR ((triple11 ((triple8 triple1) -> rule2)) -> rule3))]