The bear is big. The bear is not cold. The bear is green. The bear is kind. The bear is not red. Kind things are not cold. If the bear is cold then the bear is not green. If the bear is red and the bear is cold then the bear is kind. Red, cold things are kind. If the bear is big then the bear is not red. If something is red and not cold then it is green.
The bear is not red.
@0: The bear is big.[(triple1)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not cold.[(triple2 OR ((triple4) -> rule1))] The bear is not red.[(triple5 OR ((triple1) -> rule5))]