The bear is blue. The bear is not green. The bear is nice. The bear is red. The bear is not round. If something is green and nice then it is round. If something is nice and not blue then it is green. If the bear is round and the bear is nice then the bear is green.
The bear is red.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple3)] The bear is not green.[(triple2)] The bear is not round.[(triple5)] The bear is red.[(triple4)]