Dave is blue. Dave is cold. Dave is nice. Dave is round. Fiona is round. Fiona is smart. Gary is kind. Quiet things are smart. All cold, kind things are quiet.
Dave is not cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is round.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Gary is kind.[(triple7)]