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