Dave is kind. Erin is kind. Erin is rough. If something is quiet then it is big. If something is quiet and kind then it is rough. All rough things are quiet. Quiet, furry things are big. All red, big things are kind. If Dave is furry and Dave is quiet then Dave is kind.
Erin is rough.
@0: Dave is kind.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] @1: Erin is quiet.[(((triple3) -> rule3))] @2: Erin is big.[(((((triple3) -> rule3)) -> rule1))]