The bear is not big. The bear is nice. The bear is not red. The bear is rough. The bear is young. If the bear is big and the bear is nice then the bear is young. All rough, big things are red.
The bear is red.
@0: The bear is nice.[(triple2)] The bear is not big.[(triple1)] The bear is not red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)]