Even though he's young and green, Alan is rough. Big, round Charlie is cold and very green. In the snow sits Gary, crying from being cold. Harry is big and dresses in blue. A young person with rough red skin is downhearted and blue. People who are green and blue tend to be round in shape. When anyone is young, red and green, you know they'll also be blue. Rough and green people are also nice. You will discover that green rough people are always red. Anyone with red and blue coloration also has green coloration.
Alan is blue.
@0: Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Gary is cold.[(triple8)] Harry is big.[(triple10)] Harry is blue.[(triple9)] @1: Alan is nice.[(((triple2 triple3) -> rule4))] Alan is red.[(((triple3 triple2) -> rule5))] @2: Alan is blue.[(((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1) OR ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3))] @3: Alan is round.[(((triple3 ((triple2 triple1 ((triple3 triple2) -> rule5)) -> rule1)) -> rule2) OR ((triple3 ((((triple3 triple2) -> rule5) triple1 triple3) -> rule3)) -> rule2))]