Anne is blue. Bob is white. Dave is round. Fiona is blue. All white, round people are kind. All round people are white. All blue people are round.
Fiona is rough.
@0: Anne is blue.[(triple1)] Bob is white.[(triple2)] Dave is round.[(triple3)] Fiona is blue.[(triple4)] @1: Anne is round.[(((triple1) -> rule3))] Dave is white.[(((triple3) -> rule2))] Fiona is round.[(((triple4) -> rule3))] @2: Anne is white.[(((((triple1) -> rule3)) -> rule2))] Dave is kind.[(((((triple3) -> rule2) triple3) -> rule1))] Fiona is white.[(((((triple4) -> rule3)) -> rule2))] @3: Anne is kind.[(((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1))] Fiona is kind.[(((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule1))]