Erin is blue. Harry is blue. Harry is quiet. If someone is furry and young then they are white. All young people are white. All young people are blue. Nice, furry people are blue. All blue, quiet people are big. If Harry is quiet then Harry is furry. If someone is quiet then they are furry. If Harry is blue then Harry is young.
Harry is quiet.
@0: Erin is blue.[(triple1)] Harry is blue.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is big.[(((triple2 triple3) -> rule5))] Harry is furry.[(((triple3) -> rule6) OR ((triple3) -> rule7))] Harry is young.[(((triple2) -> rule8))] @2: Harry is white.[(((((triple2) -> rule8)) -> rule2) OR ((((triple3) -> rule6) ((triple2) -> rule8)) -> rule1) OR ((((triple3) -> rule7) ((triple2) -> rule8)) -> rule1))]