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