The mouse is big. The mouse likes the squirrel. The mouse likes the tiger. The mouse sees the tiger. The squirrel chases the mouse. The squirrel is nice. The squirrel sees the mouse. The squirrel sees the tiger. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger likes the mouse. The tiger likes the squirrel. The tiger sees the mouse. The tiger sees the squirrel. If the tiger chases the squirrel and the tiger likes the mouse then the squirrel is blue. If someone sees the tiger then they chase the tiger. If the squirrel sees the tiger and the squirrel chases the mouse then the squirrel likes the tiger.
The mouse likes the tiger.
@0: The mouse is big.[(triple1)] The mouse likes the squirrel.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel is nice.[(triple6)] The squirrel sees the mouse.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger likes the mouse.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The mouse chases the tiger.[(((triple4) -> rule2))] The squirrel chases the tiger.[(((triple8) -> rule2))] The squirrel likes the tiger.[(((triple8 triple5) -> rule3))]