The lion chases the tiger. The lion eats the tiger. The lion is not big. The lion is not blue. The lion is cold. The lion is not green. The lion is kind. The lion likes the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is not cold. The tiger is green. The tiger is kind. The tiger likes the lion. If something is cold and it chases the lion then the lion eats the tiger. If the tiger eats the lion and the lion eats the tiger then the lion chases the tiger.
The lion likes the tiger.
@0: The lion chases the tiger.[(triple1 OR ((triple10 triple2) -> rule2))] The lion eats the tiger.[(triple2)] The lion is cold.[(triple5)] The lion is kind.[(triple7)] The lion is not big.[(triple3)] The lion is not blue.[(triple4)] The lion is not green.[(triple6)] The lion likes the tiger.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple14)] The tiger is kind.[(triple15)] The tiger is not cold.[(triple13)] The tiger likes the lion.[(triple16)]