Erin is nice. All young things are nice. If Erin is young then Erin is white. If something is blue and big then it is nice. If something is young and big then it is white. All rough things are white. If something is cold and nice then it is white.
Erin is not white.
@0: Erin is nice.[(triple1)]