Erin is furry. Erin is quiet. Erin is rough. If something is smart then it is blue. All cold things are blue. All quiet, furry things are kind.
Erin is smart.
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] @1: Erin is kind.[(((triple2 triple1) -> rule3))]