Bob is furry. Dave is furry. Gary is kind. Harry is kind. If someone is furry and kind then they are nice. If Harry is kind then Harry is nice.
Bob is not furry.
@0: Bob is furry.[(triple1)] Dave is furry.[(triple2)] Gary is kind.[(triple3)] Harry is kind.[(triple4)] @1: Harry is nice.[(((triple4) -> rule2))]