Anne is round. Charlie is white. Fiona is cold. White people are young. All round, smart people are young. Smart people are blue. All blue people are white. Smart, round people are blue. All cold people are blue.
Anne is not round.
@0: Anne is round.[(triple1)] Charlie is white.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is young.[(((triple2) -> rule1))] Fiona is blue.[(((triple3) -> rule6))] @2: Fiona is white.[(((((triple3) -> rule6)) -> rule4))] @3: Fiona is young.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]