The mouse chases the tiger. The mouse is nice. The mouse needs the tiger. The mouse sees the tiger. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is green. The tiger is nice. The tiger is round. The tiger needs the mouse. The tiger sees the mouse. If something sees the mouse and it needs the tiger then the tiger sees the mouse. If something sees the mouse and the mouse sees the tiger then it chases the tiger. If something chases the tiger and it chases the mouse then the mouse is blue.
The tiger sees the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse is nice.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The tiger chases the mouse.[(triple5)] The tiger is blue.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger is round.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The tiger chases the tiger.[(((triple12 triple4) -> rule2))] @2: The mouse is blue.[(((((triple12 triple4) -> rule2) triple5) -> rule3))]