The lion eats the tiger. The lion is nice. The lion is young. The lion sees the tiger. The lion visits the tiger. The tiger does not eat the lion. The tiger is nice. The tiger is young. The tiger sees the lion. The tiger visits the lion. If someone sees the lion and the lion does not see the tiger then the tiger sees the lion. If the lion visits the tiger then the tiger is round. If the lion visits the tiger and the tiger does not see the lion then the tiger eats the lion.
The tiger eats the tiger.
@0: The lion eats the tiger.[(triple1)] The lion is nice.[(triple2)] The lion is young.[(triple3)] The lion sees the tiger.[(triple4)] The lion visits the tiger.[(triple5)] The tiger does not eat the lion.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8)] The tiger sees the lion.[(triple9)] The tiger visits the lion.[(triple10)] @1: The tiger is round.[(((triple5) -> rule2))]