The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear is round. If something is blue and not rough then it is cold. If something is blue and not cold then it is not round. All cold, blue things are round.
The bear is not blue.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5 OR ((triple2 triple1) -> rule3))]