The mouse chases the tiger. The mouse does not eat the tiger. The mouse is big. The mouse is blue. The mouse is cold. The mouse is rough. The mouse is round. The mouse does not see 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 rough. The tiger is round. The tiger sees the mouse. If something sees the tiger and the tiger is big then it is big. If something is big then it chases the mouse. If something chases the mouse then it eats the mouse. If something sees the tiger then it chases the tiger. If something sees the mouse then it chases the tiger. If something chases the mouse and it eats the tiger then the tiger does not chase the mouse. If something eats the tiger then the tiger is cold. If the mouse is not big then the mouse is not blue.
The tiger is cold.
@0: The mouse chases the tiger.[(triple1)] The mouse does not eat the tiger.[(triple2)] The mouse does not see the tiger.[(triple8)] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is cold.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7)] The tiger chases the mouse.[(triple9 OR ((triple11) -> rule2))] The tiger eats the mouse.[(triple10 OR ((triple9) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is rough.[(triple14)] The tiger is round.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse chases the mouse.[(((triple3) -> rule2))] The tiger chases the tiger.[(((triple16) -> rule5))] @2: The mouse eats the mouse.[(((((triple3) -> rule2)) -> rule3))]