The lion eats the tiger. The lion is big. The lion is not red. The lion does not need the tiger. The lion does not visit the tiger. The tiger eats the lion. The tiger is big. The tiger is not blue. The tiger is nice. The tiger is red. The tiger needs the lion. The tiger visits the lion. If someone eats the tiger then the tiger eats the lion. If someone needs the tiger then they visit the lion. If someone needs the tiger and they are not blue then the tiger is not red. If the tiger visits the lion and the tiger is big then the lion eats the tiger. If the tiger visits the lion and the tiger eats the lion then the lion is green. If someone eats the tiger and the tiger does not eat the lion then they need the lion.
The tiger is nice.
@0: The lion does not need the tiger.[(triple4)] The lion does not visit the tiger.[(triple5)] The lion eats the tiger.[(triple1 OR ((triple12 triple7) -> rule4))] The lion is big.[(triple2)] The lion is not red.[(triple3)] The tiger eats the lion.[(triple6 OR ((triple1) -> rule1) OR ((((triple12 triple7) -> rule4)) -> rule1))] The tiger is big.[(triple7)] The tiger is nice.[(triple9)] The tiger is not blue.[(triple8)] The tiger is red.[(triple10)] The tiger needs the lion.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion is green.[(((triple12 triple6) -> rule5) OR ((triple12 ((triple1) -> rule1)) -> rule5) OR ((triple12 ((((triple12 triple7) -> rule4)) -> rule1)) -> rule5))]