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