The mouse eats the rabbit. The mouse eats the tiger. The mouse likes the tiger. The mouse sees the tiger. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit sees the tiger. The tiger eats the mouse. The tiger is green. The tiger is rough. The tiger likes the mouse. The tiger sees the rabbit. If something likes the mouse then it likes the rabbit. If something sees the rabbit then the rabbit eats the tiger. If something sees the mouse then the mouse is green. If the rabbit sees the tiger and the rabbit is round then the tiger is green. If something likes the tiger then the tiger sees the rabbit. If something likes the mouse and it likes the tiger then it sees the rabbit.
The rabbit likes the rabbit.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit eats the tiger.[(triple6 OR ((triple12) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] The rabbit sees the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is green.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple3) -> rule5))] @1: The tiger likes the rabbit.[(((triple11) -> rule1))]