The mouse chases the tiger. The mouse is blue. The mouse is cold. The mouse likes the tiger. The mouse sees the tiger. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger sees the mouse. If something chases the mouse and the mouse likes the tiger then it chases the tiger. If something sees the tiger then the tiger is cold.
The mouse is not young.
@0: The mouse chases the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse sees the tiger.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8 OR ((triple5) -> rule2))] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The tiger chases the tiger.[(((triple6 triple4) -> rule1))]