Charlie is big. Charlie is green. Gary is furry. If Gary is red then Gary is blue. If Charlie is furry then Charlie is red.
Gary is not furry.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Gary is furry.[(triple3)]