Bob is furry. Fiona is cold. Fiona is green. Quiet, furry things are rough. Rough things are cold. If something is quiet then it is cold. Quiet, rough things are cold. All furry things are smart. If something is quiet and furry then it is smart.
Bob is not rough.
@0: Bob is furry.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] @1: Bob is smart.[(((triple1) -> rule5))]