The lion eats the mouse. The lion likes the mouse. The lion likes the tiger. The lion sees the mouse. The mouse eats the tiger. The mouse sees the lion. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. The tiger is green. The tiger is red. The tiger likes the lion. The tiger likes the mouse. The tiger sees the lion. The tiger sees the mouse. All big things are green. If something sees the lion then it eats the lion. If something is big and it likes the mouse then the mouse likes the lion. If something is big and it sees the lion then it likes the mouse. If something is young then it likes the tiger. If something eats the tiger then it sees the lion.
The lion does not see the lion.
@0: The lion eats the mouse.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the tiger.[(triple3)] The lion sees the mouse.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse sees the lion.[(triple6 OR ((triple5) -> rule6))] The mouse sees the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10 OR ((triple9) -> rule1))] The tiger is red.[(triple11)] The tiger likes the lion.[(triple12)] The tiger likes the mouse.[(triple13 OR ((triple9 triple14) -> rule4))] The tiger sees the lion.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The mouse eats the lion.[(((triple6) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] The mouse likes the lion.[(((triple9 triple13) -> rule3) OR ((triple9 ((triple9 triple14) -> rule4)) -> rule3))] The tiger eats the lion.[(((triple14) -> rule2))]