Charlie is furry. Dave is blue. Dave is quiet. Dave is red. Fiona is kind. Harry is blue. Harry is furry. If Charlie is quiet and Charlie is furry then Charlie is cold.
Dave is quiet.
@0: Charlie is furry.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Fiona is kind.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)]