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.
Charlie is not cold.
@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)]