Anne is rough. Bob is quiet. Fiona is round. Harry is round. If Harry is white then Harry is not kind. If something is furry then it is kind. All furry things are not quiet. If something is white then it is quiet. If Fiona is round then Fiona is furry. If Anne is kind and Anne is round then Anne is white.
Bob is not furry.
@0: Anne is rough.[(triple1)] Bob is quiet.[(triple2)] Fiona is round.[(triple3)] Harry is round.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule5))] @2: Fiona is kind.[(((((triple3) -> rule5)) -> rule2))] Fiona is not quiet.[(((((triple3) -> rule5)) -> rule3))]