Dave is blue. Gary is white. Harry is white. If someone is green then they are smart. Smart, blue people are quiet. All quiet people are blue. All quiet people are green. If someone is furry and quiet then they are blue. Smart, furry people are blue. All blue people are green. If someone is green then they are kind.
Harry is furry.
@0: Dave is blue.[(triple1)] Gary is white.[(triple2)] Harry is white.[(triple3)] @1: Dave is green.[(((triple1) -> rule7))] @2: Dave is kind.[(((((triple1) -> rule7)) -> rule8))] Dave is smart.[(((((triple1) -> rule7)) -> rule1))] @3: Dave is quiet.[(((((((triple1) -> rule7)) -> rule1) triple1) -> rule2))]