Anne is blue. Charlie is blue. Charlie is green. Erin is white. Fiona is cold. Fiona is green. Fiona is smart. All blue, smart people are cold. All green, blue people are white. All white people are smart.
Charlie is not smart.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Erin is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is white.[(((triple3 triple2) -> rule2))] Erin is smart.[(((triple4) -> rule3))] @2: Charlie is smart.[(((((triple3 triple2) -> rule2)) -> rule3))] @3: Charlie is cold.[(((triple2 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]