The bear does not chase the tiger. The bear does not eat the tiger. The bear is not cold. The bear is green. The bear is not red. The bear is round. The bear likes the tiger. The tiger chases the bear. The tiger is round. The tiger likes the bear. If something chases the tiger and the tiger is cold then it is cold. If the tiger likes the bear then the bear is round.
The bear is not cold.
@0: The bear does not chase the tiger.[(triple1)] The bear does not eat the tiger.[(triple2)] The bear is green.[(triple4)] The bear is not cold.[(triple3)] The bear is not red.[(triple5)] The bear is round.[(triple6 OR ((triple10) -> rule2))] The bear likes the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger is round.[(triple9)] The tiger likes the bear.[(triple10)]