Bob is kind. Harry is quiet. If something is kind then it is round. All cold, furry things are round. All round, furry things are red.
Harry is not quiet.
@0: Bob is kind.[(triple1)] Harry is quiet.[(triple2)] @1: Bob is round.[(((triple1) -> rule1))]