The cold, nice, kind man with a round body is known as Alan. Red Bob is what folks call him, because he is quite red. Charlie is a round fellow, but he is kind, even when he is so cold he turns blue. Dave is a kind and red colored guy. A green person who is cold and round is also big. Big, young people feel cold all the time. If you see someone who is red and green they are round, like Santa Claus. A human that's cold also means they are a human that is young. Young and kind folks are always big. Young people with red skin that play rough are actually quite kind. Someone who is cold and big is also a red person.
Charlie is not big.
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple5)] Charlie is blue.[(triple9)] Charlie is cold.[(triple8)] Charlie is kind.[(triple7)] Charlie is round.[(triple6)] Dave is kind.[(triple11)] Dave is red.[(triple10)] @1: Alan is young.[(((triple4) -> rule4))] Charlie is young.[(((triple8) -> rule4))] @2: Alan is big.[(((triple3 ((triple4) -> rule4)) -> rule5))] Charlie is big.[(((triple7 ((triple8) -> rule4)) -> rule5))] @3: Alan is red.[(((((triple3 ((triple4) -> rule4)) -> rule5) triple4) -> rule7))] Charlie is red.[(((((triple7 ((triple8) -> rule4)) -> rule5) triple8) -> rule7))]