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