The lion eats the tiger. The lion is big. The lion is blue. The lion is kind. The lion is nice. The lion is not round. The lion sees the tiger. The lion visits the tiger. The tiger does not eat the lion. The tiger is big. The tiger is blue. The tiger is not kind. If something visits the tiger then the tiger sees the lion. If the tiger eats the lion and the lion is blue then the tiger sees the lion. If something is nice then it is kind. If the tiger eats the lion then the lion eats the tiger. If something eats the lion then the lion sees the tiger. If something eats the tiger and it sees the lion then the tiger does not eat the lion.
The lion eats the lion.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is kind.[(triple4 OR ((triple5) -> rule3))] The lion is nice.[(triple5)] The lion is not round.[(triple6)] The lion sees the tiger.[(triple7)] The lion visits the tiger.[(triple8)] The tiger does not eat the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is not kind.[(triple12)] @1: The tiger sees the lion.[(((triple8) -> rule1))]