The bear is not big. The bear is cold. The bear is round. If the bear is cold then the bear is round. If the bear is green and the bear is big then the bear is round. If the bear is green and the bear is not big then the bear is round. If something is nice then it is green. If the bear is round and the bear is not cold then the bear is green. All cold things are round.
The bear needs the bear.
@0: The bear is cold.[(triple2)] The bear is not big.[(triple1)] The bear is round.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule6))]