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.
Charlie is not white.
@0: Anne is white.[(triple1)] Bob is white.[(triple2)] Charlie is not white.[(triple3)] Gary is young.[(triple4)]