Anne is green. Bob is cold. Charlie is white. Dave is round. If Bob is white and Bob is round then Bob is cold.
Bob is not cold.
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Charlie is white.[(triple3)] Dave is round.[(triple4)]