The bear eats the tiger. The bear is blue. The bear is cold. The bear is round. The bear likes the lion. The bear sees the dog. The dog eats the lion. The dog eats the tiger. The dog is cold. The dog likes the tiger. The lion eats the tiger. The lion is big. The lion is blue. The lion is round. The tiger is big. The tiger sees the bear. If something eats the lion then the lion likes the dog.
The lion is not cold.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4)] The bear likes the lion.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the lion.[(triple7)] The dog eats the tiger.[(triple8)] The dog is cold.[(triple9)] The dog likes the tiger.[(triple10)] The lion eats the tiger.[(triple11)] The lion is big.[(triple12)] The lion is blue.[(triple13)] The lion is round.[(triple14)] The tiger is big.[(triple15)] The tiger sees the bear.[(triple16)] @1: The lion likes the dog.[(((triple7) -> rule1))]