Bob is cold. Charlie is not smart. Erin is blue. All nice things are white. If Erin is green and Erin is nice then Erin is white. If Charlie is white then Charlie is green. All blue, white things are not smart. White things are not blue. If something is smart and not green then it is blue. Smart things are not cold. If something is nice and not smart then it is furry.
Erin is not blue.
@0: Bob is cold.[(triple1)] Charlie is not smart.[(triple2)] Erin is blue.[(triple3)]