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