Charlie is white. All smart, cold people are blue. White people are blue. If someone is nice and not big then they are blue. If Charlie is blue and Charlie is white then Charlie is nice. If someone is cold then they are nice. All white, nice people are cold.
Charlie is not blue.
@0: Charlie is white.[(triple1)] @1: Charlie is blue.[(((triple1) -> rule2))] @2: Charlie is nice.[(((((triple1) -> rule2) triple1) -> rule4))] @3: Charlie is cold.[(((triple1 ((((triple1) -> rule2) triple1) -> rule4)) -> rule6))]