Anne is furry. Anne is kind. Bob is blue. Bob is kind. Bob is quiet. Dave is round. Harry is white. If something is furry and blue then it is white. Round things are furry. All kind, quiet things are round.
Harry is blue.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Bob is blue.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Dave is round.[(triple6)] Harry is white.[(triple7)] @1: Bob is round.[(((triple4 triple5) -> rule3))] Dave is furry.[(((triple6) -> rule2))] @2: Bob is furry.[(((((triple4 triple5) -> rule3)) -> rule2))] @3: Bob is white.[(((((((triple4 triple5) -> rule3)) -> rule2) triple3) -> rule1))]