The lion eats the tiger. The lion is red. The lion needs the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is green. The tiger needs the lion. The tiger sees the lion. If something needs the lion and the lion sees the tiger then the lion needs the tiger. If something is cold then it is rough. If something sees the lion and the lion is green then it sees the tiger.
The lion sees the tiger.
@0: The lion eats the tiger.[(triple1)] The lion is red.[(triple2)] The lion needs the tiger.[(triple3 OR ((triple9 triple4) -> rule1))] The lion sees the tiger.[(triple4)] The tiger eats the lion.[(triple5)] The tiger is big.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger needs the lion.[(triple9)] The tiger sees the lion.[(triple10)] @1: The tiger is rough.[(((triple7) -> rule2))]