Anne is not blue. Anne is not kind. Charlie is big. Charlie is round. Fiona is not white. Harry is white. Harry is not young. All white things are not blue. If Fiona is young and Fiona is not big then Fiona is not quiet.
Harry is quiet.
@0: Anne is not blue.[(triple1)] Anne is not kind.[(triple2)] Charlie is big.[(triple3)] Charlie is round.[(triple4)] Fiona is not white.[(triple5)] Harry is not young.[(triple7)] Harry is white.[(triple6)] @1: Harry is not blue.[(((triple6) -> rule1))]