Dave is furry. Fiona is furry. All cold people are nice. Kind, rough people are nice. Cold, rough people are round. All furry, red people are cold. If Dave is furry then Dave is kind. If someone is cold then they are round.
Dave is kind.
@0: Dave is furry.[(triple1)] Fiona is furry.[(triple2)] @1: Dave is kind.[(((triple1) -> rule5))]