Anne is cold. Bob is red. Charlie is green. Harry is blue. If someone is smart and round then they are green. If Bob is quiet and Bob is green then Bob is not blue.
Anne is blue.
@0: Anne is cold.[(triple1)] Bob is red.[(triple2)] Charlie is green.[(triple3)] Harry is blue.[(triple4)]