Due to the fact that Alan is young, he is red and green. He remains kind nevertheless. Charlie tends to be nice, but is young. Charlie has rough blue skin. Big Harry is a nice young man who also happens to be red. When young, round people are cold it their skin gets a blue tinge to it. A quite nice person who is red and green is also big. When someone feels blue and rough, they might be described as green. You will discover that green rough people are always red. A big and rough person who is blue is also considered to be green.
Charlie is not red.
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6)] Charlie is young.[(triple5)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Charlie is green.[(((triple8 triple6) -> rule3))] @2: Charlie is red.[(((((triple8 triple6) -> rule3) triple6) -> rule4))] @3: Charlie is big.[(((((((triple8 triple6) -> rule3) triple6) -> rule4) ((triple8 triple6) -> rule3) triple7) -> rule2))]