Bob is green. Dave is furry. Gary is kind. Harry is green. If Bob is green then Bob is kind.
Bob is kind.
@0: Bob is green.[(triple1)] Dave is furry.[(triple2)] Gary is kind.[(triple3)] Harry is green.[(triple4)] @1: Bob is kind.[(((triple1) -> rule1))]