The mouse is big. The mouse is nice. The mouse is not rough. The mouse is young. The mouse does not like the tiger. The mouse needs the tiger. The mouse does not see the tiger. The tiger is big. The tiger is not nice. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger needs the mouse. The tiger sees the mouse. If someone needs the tiger then the tiger likes the mouse.
The tiger does not see the tiger.
@0: The mouse does not like the tiger.[(triple5)] The mouse does not see the tiger.[(triple7)] The mouse is big.[(triple1)] The mouse is nice.[(triple2)] The mouse is not rough.[(triple3)] The mouse is young.[(triple4)] The mouse needs the tiger.[(triple6)] The tiger is big.[(triple8)] The tiger is not nice.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger is young.[(triple12)] The tiger likes the mouse.[(triple13 OR ((triple6) -> rule1))] The tiger needs the mouse.[(triple14)] The tiger sees the mouse.[(triple15)]