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