The bear chases the tiger. The bear eats the tiger. The bear is not blue. The bear is cold. The bear is green. The bear is kind. The bear is round. The bear likes the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger is not cold. The tiger is green. The tiger is not kind. The tiger is round. The tiger does not like the bear. If someone likes the bear then the bear likes the tiger. If the bear is cold then the bear likes the tiger. If someone likes the tiger then the tiger eats the bear. If the tiger is kind then the tiger is green. If the tiger likes the bear then the bear is green. If the bear chases the tiger and the bear is not green then the bear eats the tiger.
The bear likes the bear.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is not blue.[(triple3)] The bear is round.[(triple7)] The bear likes the tiger.[(triple8 OR ((triple4) -> rule2))] The tiger chases the bear.[(triple9)] The tiger does not like the bear.[(triple16)] The tiger eats the bear.[(triple10 OR ((triple8) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The tiger is blue.[(triple11)] The tiger is green.[(triple13)] The tiger is not cold.[(triple12)] The tiger is not kind.[(triple14)] The tiger is round.[(triple15)]