Dave is quiet. Dave is red. Dave is smart. Erin is big. Erin is kind. Erin is white. Harry is smart. Kind, big things are furry. If something is quiet and big then it is smart.
Harry is big.
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Harry is smart.[(triple7)] @1: Erin is furry.[(((triple5 triple4) -> rule1))]