Charlie is rough but nice, big but cold. Dave is a big gentleman who is very nice. He is secretly green with envy. Nice people that are blue because they are cold turn green with envy. People that are big and cold are blue as well. If you see someone who is red and green they are round, like Santa Claus. A person who is nice and green with envy is round. People who are rough and green with envy are young. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. People who are nice and kind are somewhat young.
Charlie is not young.
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is nice.[(triple2)] Charlie is rough.[(triple1)] Dave is big.[(triple7)] Dave is green.[(triple6)] Dave is nice.[(triple5)] @1: Charlie is blue.[(((triple4 triple3) -> rule2))] Charlie is kind.[(((triple3 triple2 triple4) -> rule6))] Dave is round.[(((triple5 triple6) -> rule4))] @2: Charlie is green.[(((((triple4 triple3) -> rule2) triple2 triple3) -> rule1))] Charlie is young.[(((((triple3 triple2 triple4) -> rule6) triple2) -> rule7) OR ((triple1 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule5))] @3: Charlie is round.[(((triple2 ((((triple4 triple3) -> rule2) triple2 triple3) -> rule1)) -> rule4))]