Bob is cold. Charlie is quiet. Dave is cold. Dave is kind. Dave is nice. Fiona is kind. Fiona is nice. If Charlie is smart then Charlie is kind. If someone is red and quiet then they are kind.
Dave is red.
@0: Bob is cold.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)]