Charlie is so big, he is often blue, but always kind. Dave is blue from ink he spilled on himself while being kind and helping some children paint. Fred wears all blue. That man standing next to you with a big round body goes by the name of Gary. Blue kind people are almost always nice to others. Anybody who is so cold that they are red and blue must be young. Young people with red skin that play rough are actually quite kind. Nice people are cold people. Anyone who is big and cold and also kind is definitely red on top if it. Young and kind people, that also tend to be cold, are then considered green.
Charlie is not red.
@0: Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Charlie is kind.[(triple1)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Fred is blue.[(triple6)] Gary is big.[(triple8)] Gary is round.[(triple7)] @1: Charlie is nice.[(((triple2 triple1) -> rule1))] Dave is nice.[(((triple5 triple4) -> rule1))] @2: Charlie is cold.[(((((triple2 triple1) -> rule1)) -> rule4))] Dave is cold.[(((((triple5 triple4) -> rule1)) -> rule4))] @3: Charlie is red.[(((triple3 ((((triple2 triple1) -> rule1)) -> rule4) triple1) -> rule5))] @4: Charlie is young.[(((triple2 ((triple3 ((((triple2 triple1) -> rule1)) -> rule4) triple1) -> rule5) ((((triple2 triple1) -> rule1)) -> rule4)) -> rule2))] @5: Charlie is green.[(((((triple2 ((triple3 ((((triple2 triple1) -> rule1)) -> rule4) triple1) -> rule5) ((((triple2 triple1) -> rule1)) -> rule4)) -> rule2) triple1 ((((triple2 triple1) -> rule1)) -> rule4)) -> rule6))]