Erin is white. Cold things are young. Cold, young things are nice. If Erin is nice then Erin is cold. Young things are furry. All furry, cold things are blue. Cold, furry things are white. All young, white things are blue. Red, nice things are cold.
Erin is not blue.
@0: Erin is white.[(triple1)]