The mouse does not eat the tiger. The mouse likes the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is big. The tiger is not blue. The tiger is cold. The tiger is green. The tiger is round. The tiger likes the mouse. If someone eats the mouse then the mouse does not eat the tiger. If someone chases the tiger then they like the tiger. If the tiger is blue and the tiger chases the mouse then the tiger likes the mouse. If the mouse likes the tiger and the mouse is not cold then the tiger likes the mouse. If someone eats the mouse and they are green then the mouse chases the tiger. If someone eats the mouse and the mouse chases the tiger then the tiger is round.
The tiger is not cold.
@0: The mouse does not eat the tiger.[(triple1 OR ((triple4) -> rule1))] The mouse likes the tiger.[(triple2 OR ((((triple4 triple8) -> rule5)) -> rule2))] The tiger chases the mouse.[(triple3)] The tiger eats the mouse.[(triple4)] The tiger is big.[(triple5)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger is not blue.[(triple6)] The tiger is round.[(triple9 OR ((triple4 ((triple4 triple8) -> rule5)) -> rule6))] The tiger likes the mouse.[(triple10)] @1: The mouse chases the tiger.[(((triple4 triple8) -> rule5))]