Anne is green. Anne is quiet. Charlie is big. If Anne is cold then Anne is green. If Charlie is green and Charlie is blue then Charlie is not red. If something is big and not cold then it is quiet.
Anne is not quiet.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is big.[(triple3)]