The mouse chases the tiger. The mouse is young. The mouse sees the tiger. The tiger chases the mouse. The tiger is not big. The tiger needs the mouse. The tiger sees the mouse. If something sees the tiger then it does not need the mouse. If something is red and it needs the mouse then it is green. If something needs the tiger and the tiger is not green then the tiger chases the mouse. If the mouse needs the tiger and the tiger is red then the mouse is green. If the tiger does not need the mouse then the mouse needs the tiger. If something is green and it chases the mouse then it chases the tiger.
The tiger does not chase the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse is young.[(triple2)] The mouse sees the tiger.[(triple3)] The tiger chases the mouse.[(triple4)] The tiger is not big.[(triple5)] The tiger needs the mouse.[(triple6)] The tiger sees the mouse.[(triple7)] @1: The mouse does not need the mouse.[(((triple3) -> rule1))]