The lion eats the tiger. The lion is cold. The lion is green. The lion is rough. The lion is young. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is green. The tiger is rough. The tiger is young. The tiger needs the lion. The tiger visits the lion. If someone eats the lion then the lion is green. If someone is young then they need the tiger. If the tiger is rough and the tiger visits the lion then the tiger needs the lion.
The lion needs the tiger.
@0: The lion eats the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3 OR ((triple8) -> rule1))] The lion is rough.[(triple4)] The lion is young.[(triple5)] The lion needs the tiger.[(triple6 OR ((triple5) -> rule2))] The lion visits the tiger.[(triple7)] The tiger eats the lion.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger needs the lion.[(triple14 OR ((triple12 triple15) -> rule3))] The tiger visits the lion.[(triple15)] @1: The tiger needs the tiger.[(((triple13) -> rule2))]