Anne is blue. Charlie is young. Fiona is green. Blue, smart things are white. All green, blue things are young. All white, green things are smart. If something is round then it is green. Round, green things are young. All green things are white. Green, cold things are blue. If something is young and cold then it is smart.
Anne is cold.
@0: Anne is blue.[(triple1)] Charlie is young.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is white.[(((triple3) -> rule6))] @2: Fiona is smart.[(((((triple3) -> rule6) triple3) -> rule3))]