Anne is white. Bob is white. Charlie is not white. Gary is young. If Anne is rough and Anne is young then Anne is red. If someone is white and blue then they are kind.
Anne is not red.
@0: Anne is white.[(triple1)] Bob is white.[(triple2)] Charlie is not white.[(triple3)] Gary is young.[(triple4)]