The mouse chases the tiger. The mouse eats the tiger. The mouse is big. The mouse is red. The tiger chases the mouse. The tiger eats the mouse. The tiger is cold. The tiger is nice. The tiger is red. The tiger sees the mouse. If someone is blue then they see the tiger. If the mouse sees the tiger then the mouse is blue. If someone chases the mouse and they eat the mouse then the mouse sees the tiger. If someone is blue then they do not eat the mouse. If someone eats the mouse and the mouse sees the tiger then they chase the tiger. If the tiger is not big and the tiger does not eat the mouse then the mouse eats the tiger. If the mouse sees the tiger and the tiger does not eat the mouse then the tiger does not see the mouse. If the mouse eats the tiger and the tiger is red then the mouse is red.
The mouse is nice.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is big.[(triple3)] The mouse is red.[(triple4 OR ((triple2 triple9) -> rule8))] The tiger chases the mouse.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger is cold.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The mouse sees the tiger.[(((triple5 triple6) -> rule3))] @2: The mouse is blue.[(((((triple5 triple6) -> rule3)) -> rule2))] The tiger chases the tiger.[(((triple6 ((triple5 triple6) -> rule3)) -> rule5))] @3: The mouse does not eat the mouse.[(((((((triple5 triple6) -> rule3)) -> rule2)) -> rule4))]