Anne is kind. Dave is white. Fiona is white. All white things are quiet. If Fiona is quiet and Fiona is nice then Fiona is white. Cold, white things are young. All white things are young. If something is round and not kind then it is nice. All white, quiet things are not nice. All round, kind things are cold. All quiet, nice things are not white.
Anne is round.
@0: Anne is kind.[(triple1)] Dave is white.[(triple2)] Fiona is white.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule1))] Dave is young.[(((triple2) -> rule4))] Fiona is quiet.[(((triple3) -> rule1))] Fiona is young.[(((triple3) -> rule4))] @2: Dave is not nice.[(((triple2 ((triple2) -> rule1)) -> rule6))] Fiona is not nice.[(((triple3 ((triple3) -> rule1)) -> rule6))]