The lion does not chase the tiger. The lion is big. The lion is blue. The lion is green. The lion is nice. The lion is round. The lion likes the tiger. The lion does not visit the tiger. The tiger does not chase the lion. The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is not round. The tiger likes the lion. The tiger does not visit the lion. If something visits the tiger then the tiger is not blue. If something likes the tiger then it chases the lion. If something likes the lion then it does not visit the tiger. If something visits the lion and it likes the tiger then it does not chase the tiger. If something likes the lion and the lion chases the tiger then the tiger is green. If the tiger visits the lion then the lion chases the tiger.
The lion does not visit the lion.
@0: The lion does not chase the tiger.[(triple1)] The lion does not visit the tiger.[(triple8)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is round.[(triple6)] The lion likes the tiger.[(triple7)] The tiger does not chase the lion.[(triple9)] The tiger does not visit the lion.[(triple16)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger is not round.[(triple14)] The tiger likes the lion.[(triple15)] @1: The lion chases the lion.[(((triple7) -> rule2))] The tiger does not visit the tiger.[(((triple15) -> rule3))]