Anne is quiet. Dave is kind. Erin is quiet. Harry is big. If Harry is green and Harry is not big then Harry is not cold.
Dave is not green.
@0: Anne is quiet.[(triple1)] Dave is kind.[(triple2)] Erin is quiet.[(triple3)] Harry is big.[(triple4)]