The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is blue. The lion is cold. The lion is kind. The lion is young. The lion sees the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is young. The tiger sees the lion. If something sees the lion and the lion chases the tiger then it sees the tiger.
The lion is not blue.
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion is young.[(triple7)] The lion sees 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 cold.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger sees the lion.[(triple16)] @1: The tiger sees the tiger.[(((triple16 triple1) -> rule1))]