Even though he's a big dude, Alan is cold. That man standing next to you with a big round body goes by the name of Bob. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Gary is big and tends to wear red shirts. Nice people that are blue because they are cold turn green with envy. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A big young person that is green will be cold to others. Young and rough green people, have no choice but to be red. A human that's cold also means they are a human that is young. Cold, red people are generally kind and big. As far as anyone can tell, whoever is kind, rough, and big is a round person.
Gary is not cold.
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple4)] Bob is round.[(triple3)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Alan is young.[(((triple1) -> rule5))] Dave is round.[(((triple6 triple5 triple8) -> rule7))] Dave is young.[(((triple7) -> rule5))] @2: Dave is green.[(((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2))] @3: Dave is red.[(((((triple7) -> rule5) triple5 ((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2)) -> rule4))]