Bob is smart. Dave is furry. Harry is quiet. If something is big and nice then it is cold. All cold, rough things are quiet. All cold things are furry.
Dave is not furry.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple2)] Harry is quiet.[(triple3)]