The mouse eats the tiger. The mouse is big. The mouse is blue. The mouse is green. The mouse is rough. The mouse is young. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is blue. The tiger is green. The tiger is rough. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. If something needs the tiger then it needs the mouse. If the mouse needs the tiger and the tiger needs the mouse then the tiger sees the mouse. If something eats the tiger and it sees the tiger then it eats the mouse. If something eats the tiger and it needs the mouse then it is green. If something needs the tiger and it needs the mouse then it sees the mouse. If something is young and it needs the mouse then it eats the mouse. If something needs the mouse and the mouse eats the tiger then the mouse is green. If something sees the tiger and it sees the mouse then it is green.
The tiger is young.
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4 OR ((triple14 triple1) -> rule7) OR ((triple1 ((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule1) triple1) -> rule7) OR ((triple8 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule8))] The mouse is rough.[(triple5)] The mouse is young.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger eats the mouse.[(triple9 OR ((triple13 triple14) -> rule6))] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the mouse.[(triple15 OR ((triple7 triple14) -> rule2))] @1: The mouse eats the mouse.[(((triple1 triple8) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule6))] The mouse needs the mouse.[(((triple7) -> rule1))] @2: The mouse sees the mouse.[(((triple7 ((triple7) -> rule1)) -> rule5))]