The mouse does not chase the tiger. The mouse eats the tiger. The mouse is blue. The mouse is green. The mouse is kind. The mouse is not young. The mouse needs 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 not rough. The tiger is young. The tiger does not need the mouse. If the mouse eats the tiger then the mouse is green.
The tiger chases the mouse.
@0: The mouse does not chase the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4 OR ((triple2) -> rule1))] The mouse is kind.[(triple5)] The mouse is not young.[(triple6)] The mouse needs the tiger.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger does not need the mouse.[(triple15)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is not rough.[(triple13)] The tiger is young.[(triple14)]