Anne is young. Charlie is cold. Fiona is not cold. If something is cold and not green then it is furry. Cold things are white. All green, quiet things are white. All green, white things are young. White things are not young. All white, young things are big.
Charlie is not white.
@0: Anne is young.[(triple1)] Charlie is cold.[(triple2)] Fiona is not cold.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))] @2: Charlie is not young.[(((((triple2) -> rule2)) -> rule5))]