Charlie is green. Round, young things are furry. If something is rough then it is furry. All young things are not furry. If something is green and not furry then it is red. If something is rough and red then it is green. Cold, furry things are green.
Charlie is not red.
@0: Charlie is green.[(triple1)]