Erin is cold. Erin is smart. Erin is young. If something is big then it is young. Quiet, furry things are cold. All quiet things are big. If something is quiet and rough then it is smart. Young, rough things are furry. All quiet, rough things are young.
Erin is not young.
@0: Erin is cold.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)]