Red Alan is what folks call him, because he is quite red. Charlie is big and tends to wear red shirts. Being so young, Harry is rough during play, even though he is nice. He is big for his age and has blue eyes. Big round people who wear red clothing will also wear a lot of green jewelry. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. If someone is a bit rough, but also nice, then they qualify as round. Nice people are kind and rough when they are young. Find someone big, blue, and kind, and you'll see they are also quite young. A rough, big, and round person can't help but be kind as well. Anyone that's described as young, kind and blue can be said to be cold, too.
Charlie is kind.
@0: Alan is red.[(triple1)] Charlie is big.[(triple3)] Charlie is red.[(triple2)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is nice.[(triple6)] Harry is rough.[(triple5)] Harry is young.[(triple4 OR ((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) OR ((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5))] @1: Harry is round.[(((triple6 triple5) -> rule3))] @2: Harry is kind.[(((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6))] @3: Harry is cold.[(((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7))]