Bob is not round. Charlie is not quiet. Gary is smart. Harry is not cold. If Charlie is round then Charlie is cold.
Charlie is not quiet.
@0: Bob is not round.[(triple1)] Charlie is not quiet.[(triple2)] Gary is smart.[(triple3)] Harry is not cold.[(triple4)]