The bear chases the tiger. The bear is not big. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear does not see the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger sees the bear. The tiger visits the bear. If something is cold and not nice then it sees the tiger. If something visits the tiger then the tiger visits the bear.
The tiger is not big.
@0: The bear chases the tiger.[(triple1)] The bear does not see the tiger.[(triple7)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is nice.[(triple5)] The bear is not big.[(triple2)] The bear is red.[(triple6)] The bear visits the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the bear.[(triple16 OR ((triple8) -> rule2))]