Bob is very big for being so young. Charlie is not only red but green and blue as well. The round, rough, and green one was labeled Gary after all. Harry is not only red but green and blue as well. Rough, young people that are big are often nice. I've noticed that big, blue people with rough skin are young. Someone with big, rough hands and a green thumb is undoubtedly someone young who likes to garden. All rough people are big in some way.
Charlie is young.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is red.[(triple3)] Gary is green.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is red.[(triple9)] @1: Gary is big.[(((triple7) -> rule4))] @2: Gary is young.[(((triple7 ((triple7) -> rule4) triple8) -> rule3))] @3: Gary is nice.[(((triple7 ((triple7 ((triple7) -> rule4) triple8) -> rule3) ((triple7) -> rule4)) -> rule1))]