The lion is big. The lion is kind. The lion is nice. The lion is round. The lion is young. The lion likes the tiger. The lion needs the tiger. The lion sees the tiger. The tiger is big. The tiger is not kind. The tiger is nice. The tiger is round. The tiger is young. The tiger does not like the lion. The tiger does not need the lion. The tiger sees the lion. If the tiger is round and the tiger likes the lion then the lion is not nice. If something likes the lion and it is nice then the lion likes the tiger. If something likes the lion then the lion likes the tiger. If something likes the lion then it is young. If something is round and it sees the tiger then the tiger sees the lion. If the tiger needs the lion then the tiger likes the lion.
The lion is round.
@0: The lion is big.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion likes the tiger.[(triple6)] The lion needs the tiger.[(triple7)] The lion sees the tiger.[(triple8)] The tiger does not like the lion.[(triple14)] The tiger does not need the lion.[(triple15)] The tiger is big.[(triple9)] The tiger is nice.[(triple11)] The tiger is not kind.[(triple10)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger sees the lion.[(triple16 OR ((triple4 triple8) -> rule5))]