The lion eats the tiger. The lion is big. The lion is cold. The lion is nice. 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 needs the lion. If someone visits the tiger and they are cold then they eat the tiger. If someone is big and round then they visit the tiger. If the lion is big and the lion needs the tiger then the tiger eats the lion.
The tiger does not need the lion.
@0: The lion eats the tiger.[(triple1 OR ((triple7 triple3) -> rule1))] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion is young.[(triple5)] The lion needs the tiger.[(triple6)] The lion visits the tiger.[(triple7)] The tiger eats the lion.[(triple8 OR ((triple2 triple6) -> rule3))] The tiger is big.[(triple9)] The tiger needs the lion.[(triple10)]