Dave is cold. Dave is green. Fiona is green. Fiona is quiet. Fiona is red. Gary is cold. Harry is blue. If someone is blue and young then they are cold. If Harry is round and Harry is red then Harry is blue. If someone is young then they are quiet.
Dave is not quiet.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Gary is cold.[(triple6)] Harry is blue.[(triple7)]