Dave is white. Erin is big. Harry is red. Red people are quiet. If Harry is smart then Harry is big. Smart, furry people are young.
Erin is big.
@0: Dave is white.[(triple1)] Erin is big.[(triple2)] Harry is red.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule1))]