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