Bob is cold. All quiet things are smart. Cold things are not round. If Bob is round and Bob is quiet then Bob is smart. Round, blue things are green. Smart, quiet things are green. All quiet, furry things are green. If something is smart and not quiet then it is not green. If something is green then it is cold.
Bob is cold.
@0: Bob is cold.[(triple1)] @1: Bob is not round.[(((triple1) -> rule2))]