Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Fiona is green. Fiona is quiet. Harry is blue. Harry is nice. Harry is red. All cold, red things are quiet.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)]