The bear is big. The bear is green. The bear is red. The bear sees the dog. The dog chases the tiger. The dog is blue. The dog sees the tiger. The tiger chases the bear. The tiger chases the dog. The tiger eats the bear. The tiger is blue. The tiger is green. The tiger is nice. The tiger is red. The tiger sees the dog. If something is big and it chases the tiger then the tiger eats the bear. If something eats the dog then it eats the bear. If something is big then it chases the dog. If something chases the tiger and it chases the bear then it is red. If something sees the bear then it is green. If something sees the bear and the bear is red then it is blue. If something sees the tiger and it chases the bear then the tiger sees the bear. If something eats the tiger and the tiger is red then it sees the tiger.
The bear does not eat the bear.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear sees the dog.[(triple4)] The dog chases the tiger.[(triple5)] The dog is blue.[(triple6)] The dog sees the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the dog.[(triple9)] The tiger eats the bear.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger sees the dog.[(triple15)] @1: The bear chases the dog.[(((triple1) -> rule3))]