The bear is cold. The bear likes the tiger. The dog is red. The dog likes the bear. The rabbit eats the tiger. The rabbit is blue. The rabbit sees the dog. The tiger eats the bear. The tiger is green. The tiger is red. The tiger sees the dog. The tiger sees the rabbit. If something likes the tiger and it eats the tiger then it is red. If something eats the rabbit then the rabbit is big. If something sees the dog and the dog likes the rabbit then it is big. If the tiger eats the bear then the bear sees the rabbit. If something is cold then it eats the rabbit. If something is red and it eats the dog then the dog is green. If something is cold and green then it sees the bear. If something is blue then it likes the rabbit.
The dog likes the bear.
@0: The bear is cold.[(triple1)] The bear likes the tiger.[(triple2)] The dog is red.[(triple3)] The dog likes the bear.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the dog.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger sees the dog.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The bear eats the rabbit.[(((triple1) -> rule5))] The bear sees the rabbit.[(((triple8) -> rule4))] The rabbit likes the rabbit.[(((triple6) -> rule8))] @2: The rabbit is big.[(((((triple1) -> rule5)) -> rule2))]