Anne is furry. Bob is young. Dave is rough. Erin is cold. All smart people are not cold. If someone is white and not big then they are smart.
Dave is white.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Erin is cold.[(triple4)]