The lion eats the tiger. The lion is green. The lion is not kind. The lion is nice. The lion is rough. The lion is young. The lion likes the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is green. The tiger is not young. The tiger likes the lion. If the tiger sees the lion and the tiger is green then the tiger is not nice. If someone is green and they do not eat the lion then they do not see the lion. If someone eats the lion and the lion is kind then they see the lion. If the lion sees the tiger and the tiger is nice then the lion likes the tiger. If the tiger is young and the tiger eats the lion then the lion does not like the tiger. If someone eats the tiger and they like the tiger then they are not kind. If someone is kind and they do not like the lion then they are green. If someone sees the lion then the lion does not eat the tiger.
The tiger does not see the lion.
@0: The lion eats the tiger.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple4)] The lion is not kind.[(triple3 OR ((triple1 triple7) -> rule6))] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the tiger.[(triple7)] The lion sees the tiger.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is green.[(triple10)] The tiger is not young.[(triple11)] The tiger likes the lion.[(triple12)]