Anne is green. Bob is young. Charlie is blue. Harry is blue. If Harry is green then Harry is round. If something is cold then it is round. All cold, blue things are young.
Charlie is blue.
@0: Anne is green.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3)] Harry is blue.[(triple4)]