Bob is round. Charlie is cold. Dave is white. Erin is rough. All blue, cold people are white. If Bob is blue and Bob is smart then Bob is red.
Bob is not white.
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2)] Dave is white.[(triple3)] Erin is rough.[(triple4)]