Alan is big and dresses in blue. Big, red Eric is quite kind. Big, round Gary is cold and very green. Harry wears all blue. Any cold, round, green person is going to be young at the same time. It's said that any person with blue skin, round bones, and big feet is kind. A blue person who is young and rough is also red. Round, young folks tend to feel blue. Red and round people will be cold even in the summer. Young people are rough.
Harry is cold.
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Eric is big.[(triple5)] Eric is kind.[(triple4)] Eric is red.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is blue.[(triple10)] @1: Gary is young.[(((triple8 triple6 triple7) -> rule1))] @2: Gary is blue.[(((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4))] Gary is rough.[(((((triple8 triple6 triple7) -> rule1)) -> rule6))] @3: Gary is kind.[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) triple6 triple9) -> rule2))] Gary is red.[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) ((triple8 triple6 triple7) -> rule1) ((((triple8 triple6 triple7) -> rule1)) -> rule6)) -> rule3))]