Alan is colored blue and red. He is also kind and cold to the touch. Bob's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Charlie is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Harry always goes out of his way to show that he is kind to people. A person who's big and kind will also be cold. Blue kind people are almost always nice to others. You will always find a cold, rough, red person to also be a round person. Someone who is round like a dumpling and cold like an icicle are very young in age. Unfortunately, all the young people who are considered green are all round. Nice young people who are always cold end up also being big.
Charlie is not blue.
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is blue.[(triple7)] Bob is green.[(triple6)] Bob is nice.[(triple5)] Charlie is cold.[(triple11)] Charlie is nice.[(triple10)] Charlie is red.[(triple9)] Charlie is rough.[(triple8)] Harry is kind.[(triple12)] @1: Alan is nice.[(((triple4 triple2) -> rule2))] Charlie is round.[(((triple11 triple8 triple9) -> rule3))] @2: Charlie is young.[(((((triple11 triple8 triple9) -> rule3) triple11) -> rule4))] @3: Charlie is big.[(((triple11 triple10 ((((triple11 triple8 triple9) -> rule3) triple11) -> rule4)) -> rule6))]