Anne is furry. Bob is nice. Dave is white. Harry is smart. Furry things are red. If Harry is green then Harry is red. If Bob is red then Bob is quiet. Green, smart things are quiet. If something is smart then it is furry. All quiet, white things are nice. All green, furry things are white. Red, green things are nice.
Harry is red.
@0: Anne is furry.[(triple1)] Bob is nice.[(triple2)] Dave is white.[(triple3)] Harry is smart.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))] Harry is furry.[(((triple4) -> rule5))] @2: Harry is red.[(((((triple4) -> rule5)) -> rule1))]