Anne is red. Charlie is red. Fiona is red. Harry is nice. If Anne is not green then Anne is quiet. If someone is green and not round then they are not nice. All green, quiet people are nice. If Charlie is cold and Charlie is quiet then Charlie is not nice. If Anne is green then Anne is cold. All round people are not white. Round people are not white. All red, cold people are quiet.
Anne is red.
@0: Anne is red.[(triple1)] Charlie is red.[(triple2)] Fiona is red.[(triple3)] Harry is nice.[(triple4)]