The mouse does not chase the tiger. The mouse is kind. The tiger chases the mouse. The tiger is not big. The tiger is not cold. The tiger is kind. The tiger is round. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. If something chases the tiger then it is round. If something sees the tiger then it needs the mouse. If something chases the mouse and the mouse does not chase the tiger then it needs the tiger. If something is round then it needs the tiger. If the tiger needs the mouse then the mouse is round. If the mouse does not chase the tiger and the tiger does not chase the mouse then the tiger sees the mouse.
The mouse needs the tiger.
@0: The mouse does not chase the tiger.[(triple1)] The mouse is kind.[(triple2)] The tiger chases the mouse.[(triple3)] The tiger is kind.[(triple6)] The tiger is not big.[(triple4)] The tiger is not cold.[(triple5)] The tiger is round.[(triple7)] The tiger is young.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The mouse is round.[(((triple9) -> rule5))] The tiger needs the tiger.[(((triple7) -> rule4) OR ((triple3 triple1) -> rule3))] @2: The mouse needs the tiger.[(((((triple9) -> rule5)) -> rule4))]