Bob is kind. Harry is big. If Harry is smart then Harry is not cold. Kind things are smart. Big, furry things are smart. All cold things are big. If something is smart and furry then it is big. If something is cold and smart then it is not kind.
Harry is big.
@0: Bob is kind.[(triple1)] Harry is big.[(triple2)] @1: Bob is smart.[(((triple1) -> rule2))]