Bob is nice. Gary is green. If someone is cold then they are nice. If someone is red then they are nice. Nice people are furry.
Bob is young.
@0: Bob is nice.[(triple1)] Gary is green.[(triple2)] @1: Bob is furry.[(((triple1) -> rule3))]