Charlie is big. Dave is nice. Harry is blue. If Harry is blue and Harry is nice then Harry is quiet.
Harry is not quiet.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] Harry is blue.[(triple3)]