Harry is blue. Harry is furry. Harry is rough. Nice, furry people are white. All rough, blue people are nice. White people are furry.
Harry is rough.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2)] Harry is rough.[(triple3)] @1: Harry is nice.[(((triple3 triple1) -> rule2))] @2: Harry is white.[(((((triple3 triple1) -> rule2) triple2) -> rule1))]