Charlie is white. Fiona is smart. If something is blue then it is big. Big, young things are smart. Big things are green. All white things are blue. Round, big things are white. If Fiona is white and Fiona is blue then Fiona is young.
Charlie is blue.
@0: Charlie is white.[(triple1)] Fiona is smart.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule4))] @2: Charlie is big.[(((((triple1) -> rule4)) -> rule1))] @3: Charlie is green.[(((((((triple1) -> rule4)) -> rule1)) -> rule3))]