Bob is white. Charlie is furry. Gary is white. If Charlie is white then Charlie is cold. If someone is cold then they are big.
Bob is not white.
@0: Bob is white.[(triple1)] Charlie is furry.[(triple2)] Gary is white.[(triple3)]