Erin is green. If Erin is quiet then Erin is furry. Nice things are quiet. If something is quiet then it is rough. Big, nice things are cold. Quiet, cold things are rough. If something is nice and quiet then it is big. All nice, furry things are cold. If Erin is nice then Erin is rough.
Erin is not rough.
@0: Erin is green.[(triple1)]