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.
Gary is not nice.
@0: Bob is furry.[(triple1)] Dave is furry.[(triple2)] Gary is kind.[(triple3)] Harry is kind.[(triple4)] @1: Harry is nice.[(((triple4) -> rule2))]