Charlie is young. Fiona is nice. Harry is round. All white things are round. Nice things are white. Round, quiet things are not nice. White, round things are not blue. If Charlie is not cold then Charlie is not young. If Charlie is quiet then Charlie is round.
Charlie is white.
@0: Charlie is young.[(triple1)] Fiona is nice.[(triple2)] Harry is round.[(triple3)] @1: Fiona is white.[(((triple2) -> rule2))] @2: Fiona is round.[(((((triple2) -> rule2)) -> rule1))] @3: Fiona is not blue.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule4))]