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