Bob is smart. Dave is nice. Harry is not furry. If Dave is smart and Dave is red then Dave is cold.
Dave is not cold.
@0: Bob is smart.[(triple1)] Dave is nice.[(triple2)] Harry is not furry.[(triple3)]