Charlie is green. All big people are rough. If someone is big then they are kind. Quiet people are green. All big, rough people are kind. All blue people are rough. If someone is rough and blue then they are green. All big, white people are green. Rough people are quiet.
Charlie is not green.
@0: Charlie is green.[(triple1)]