The lion eats the tiger. The lion is big. The lion is cold. The lion is green. The lion is round. The lion is young. The lion likes the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is green. The tiger is round. The tiger does not like the lion. The tiger sees the lion. If something eats the tiger and it does not eat the lion then the lion is young. If something eats the tiger and the tiger does not eat the lion then the lion does not see the tiger. If something is round and it does not eat the tiger then the tiger likes the lion. If the lion eats the tiger then the lion likes the tiger. If something likes the tiger and it does not eat the lion then it is green. If something sees the tiger and the tiger likes the lion then the tiger does not see the lion. If something likes the tiger then it likes the lion. If something likes the tiger and it does not like the lion then the lion is green.
The tiger likes the lion.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple1) -> rule4))] The lion sees the tiger.[(triple8)] The tiger does not like the lion.[(triple14)] The tiger eats the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is round.[(triple13)] The tiger sees the lion.[(triple15)] @1: The lion likes the lion.[(((triple7) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]