The mouse eats the tiger. The mouse is big. The mouse is green. The mouse is red. The mouse is rough. The mouse likes the tiger. The mouse needs the tiger. The tiger eats the mouse. The tiger is big. The tiger is blue. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the mouse. The tiger needs the mouse. If someone is rough and they eat the tiger then they eat the mouse. If someone eats the tiger and the tiger is big then the tiger is green.
The tiger does not need the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse needs the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11 OR ((triple1 triple9) -> rule2))] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse eats the mouse.[(((triple5 triple1) -> rule1))]