The mouse chases the tiger. The mouse eats the tiger. The mouse is blue. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. The mouse sees the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. The tiger is young. The tiger sees the mouse. If the tiger eats the mouse then the tiger is young.
The mouse is not green.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger is young.[(triple15 OR ((triple10) -> rule1))] The tiger sees the mouse.[(triple16)]