Dave is not green. Erin is furry. Erin is rough. If Dave is rough then Dave is round. If Dave is not rough then Dave is not big. If something is furry and not big then it is cold.
Dave is not cold.
@0: Dave is not green.[(triple1)] Erin is furry.[(triple2)] Erin is rough.[(triple3)]