Bob is furry. Gary is nice. Harry is kind. If Bob is red and Bob is not kind then Bob is not furry. If Harry is kind then Harry is furry. White things are nice. If something is kind then it is white. If Harry is furry and Harry is nice then Harry is not quiet. White things are round.
Harry is not quiet.
@0: Bob is furry.[(triple1)] Gary is nice.[(triple2)] Harry is kind.[(triple3)] @1: Harry is furry.[(((triple3) -> rule2))] Harry is white.[(((triple3) -> rule4))] @2: Harry is nice.[(((((triple3) -> rule4)) -> rule3))] Harry is round.[(((((triple3) -> rule4)) -> rule6))] @3: Harry is not quiet.[(((((triple3) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5))]