Bob is furry. Dave is nice. Gary is furry. If Gary is furry then Gary is round.
Dave is furry.
@0: Bob is furry.[(triple1)] Dave is nice.[(triple2)] Gary is furry.[(triple3)] @1: Gary is round.[(((triple3) -> rule1))]