Dave is smart. Harry is rough. All kind, furry things are smart. If something is blue then it is rough. If something is smart then it is not furry. All smart things are blue. If something is blue and round then it is green. Smart, furry things are not green. If something is green and not furry then it is round. Blue, smart things are round.
Harry is not round.
@0: Dave is smart.[(triple1)] Harry is rough.[(triple2)] @1: Dave is blue.[(((triple1) -> rule4))] Dave is not furry.[(((triple1) -> rule3))] @2: Dave is rough.[(((((triple1) -> rule4)) -> rule2))] Dave is round.[(((((triple1) -> rule4) triple1) -> rule8))] @3: Dave is green.[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule8)) -> rule5))]