Charlie is red. Gary is furry. Gary is not white. All blue people are white. If Gary is nice then Gary is blue.
Charlie is not white.
@0: Charlie is red.[(triple1)] Gary is furry.[(triple2)] Gary is not white.[(triple3)]