Big Alan is nice and red with sunburn and green hair. Bob is rough and green, but he's also nice, kind and round. Upon meeting Charlie, you'll notice he's green and kind. They always call him rough Dave. A cold person who is round but rough around the edges is big. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A kind and big person is young. If you see someone who is red and green they are round, like Santa Claus. Maybe someone is rough and blue with the cold. A person that is feeling blue and slightly big, is red as well. If a person is quite big and also round then they are certainly rough too.
Alan is blue.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple9)] Bob is kind.[(triple8)] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Charlie is green.[(triple11)] Charlie is kind.[(triple10)] Dave is rough.[(triple12)] @1: Alan is round.[(((triple1 triple3) -> rule4))] @2: Alan is rough.[(((triple4 ((triple1 triple3) -> rule4)) -> rule7))] @3: Alan is blue.[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2))] @4: Alan is cold.[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) ((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2)) -> rule5))]