Anne is green. Charlie is green. Gary is blue. If Gary is green and Gary is big then Gary is red. If someone is blue and rough then they are green. If Anne is green and Anne is rough then Anne is quiet.
Anne is not quiet.
@0: Anne is green.[(triple1)] Charlie is green.[(triple2)] Gary is blue.[(triple3)]