The lion eats the tiger. The lion is kind. The lion is nice. The lion is red. The lion is round. The lion is young. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is not kind. The tiger is nice. The tiger is not red. The tiger is round. The tiger is young. The tiger does not need the lion. The tiger visits the lion. If something is red then it visits the lion. If something eats the lion then it is not kind. If the lion needs the tiger and the tiger does not eat the lion then the tiger does not visit the lion.
The lion does not visit the tiger.
@0: The lion eats the tiger.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the tiger.[(triple8)] The tiger does not need the lion.[(triple15)] The tiger eats the lion.[(triple9)] The tiger is nice.[(triple11)] The tiger is not kind.[(triple10 OR ((triple9) -> rule2))] The tiger is not red.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14)] The tiger visits the lion.[(triple16)] @1: The lion visits the lion.[(((triple4) -> rule1))]