The bear chases the dog. The bear chases the tiger. The bear is big. The bear is kind. The bear likes the dog. The bear likes the tiger. The bear does not see the tiger. The dog is cold. The dog likes the tiger. The dog sees the tiger. The tiger chases the bear. The tiger chases the dog. The tiger is kind. The tiger does not like the bear. The tiger sees the bear. If something sees the tiger and the tiger is big then the tiger sees the dog. If something is round then it chases the tiger. If the tiger sees the bear and the bear chases the tiger then the bear is young. If the tiger is kind then the tiger does not like the bear. If something is big then it does not see the bear. If something chases the tiger and it does not chase the bear then the tiger is not cold. If something is cold and not young then it likes the tiger. If the bear does not chase the tiger and the tiger does not see the dog then the dog does not chase the tiger.
The tiger does not chase the tiger.
@0: The bear chases the dog.[(triple1)] The bear chases the tiger.[(triple2)] The bear does not see the tiger.[(triple7)] The bear is big.[(triple3)] The bear is kind.[(triple4)] The bear likes the dog.[(triple5)] The bear likes the tiger.[(triple6)] The dog is cold.[(triple8)] The dog likes the tiger.[(triple9)] The dog sees the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger does not like the bear.[(triple14 OR ((triple13) -> rule4))] The tiger is kind.[(triple13)] The tiger sees the bear.[(triple15)] @1: The bear does not see the bear.[(((triple3) -> rule5))] The bear is young.[(((triple15 triple2) -> rule3))]