Bob is cold. Charlie is young. Dave is nice. Erin is white. All smart, young things are cold. If Erin is cold then Erin is white. All white, smart things are young. Young, cold things are rough. If Bob is white then Bob is rough. If Erin is nice then Erin is smart.
Erin is white.
@0: Bob is cold.[(triple1)] Charlie is young.[(triple2)] Dave is nice.[(triple3)] Erin is white.[(triple4)]