Anne is white. Charlie is green. Gary is blue. Harry is big. If Charlie is round and Charlie is white then Charlie is green. If Charlie is kind then Charlie is white. If Anne is green and Anne is blue then Anne is rough.
Anne is not rough.
@0: Anne is white.[(triple1)] Charlie is green.[(triple2)] Gary is blue.[(triple3)] Harry is big.[(triple4)]