The lion does not chase the tiger. The lion eats the tiger. The lion is not cold. The lion is green. The lion is nice. The lion is rough. The lion is young. The lion visits the tiger. The tiger does not chase the lion. The tiger eats the lion. The tiger is not cold. The tiger is not green. The tiger is nice. The tiger is rough. The tiger is young. The tiger visits the lion. If someone is green and rough then they visit the lion. If the tiger chases the lion and the lion does not visit the tiger then the tiger eats the lion. If someone eats the tiger then the tiger does not chase the lion. If someone eats the tiger and the tiger is not nice then they eat the lion. If someone visits the tiger and the tiger is green then they are rough. If someone chases the tiger then the tiger is young. If someone visits the tiger then the tiger is young. If someone chases the lion and they visit the lion then they do not chase the tiger.
The lion does not eat the lion.
@0: The lion does not chase the tiger.[(triple1)] The lion eats the tiger.[(triple2)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is not cold.[(triple3)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The lion visits the tiger.[(triple8)] The tiger does not chase the lion.[(triple9 OR ((triple2) -> rule3))] The tiger eats the lion.[(triple10)] The tiger is nice.[(triple13)] The tiger is not cold.[(triple11)] The tiger is not green.[(triple12)] The tiger is rough.[(triple14)] The tiger is young.[(triple15 OR ((triple8) -> rule7))] The tiger visits the lion.[(triple16)] @1: The lion visits the lion.[(((triple4 triple6) -> rule1))]