The lion eats the tiger. The lion is blue. The lion is green. The lion is kind. The lion is round. The lion is young. The lion sees the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is blue. The tiger is kind. The tiger is round. The tiger is young. The tiger sees the lion. The tiger visits the lion. If something visits the lion and the lion is round then the lion sees the tiger.
The tiger is not blue.
@0: The lion eats the tiger.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion sees the tiger.[(triple7 OR ((triple15 triple5) -> rule1))] The lion visits the tiger.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger sees the lion.[(triple14)] The tiger visits the lion.[(triple15)]