Alan was born only a few years ago so he is young. Even though he's young and green, Bob is rough. Charlie was born only a few years ago so he is young. That big rough Harry guy is both red and blue at the same time. Blue Christmas ornaments are also red. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. A kind red person is also a blue person. Often, when you meet a rough person with red skin, you'll see that they are young too. If someone is blue, young, and rough, they qualify as being round. Somebody fitting a young, blue and round description will also fit a green description. Round and big people are sure to be rough.
Charlie is not young.
@0: Alan is young.[(triple1)] Bob is green.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Charlie is young.[(triple5)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is red.[(triple7 OR ((triple8) -> rule1))] Harry is rough.[(triple6)] @1: Harry is young.[(((triple6 triple7) -> rule4) OR ((triple6 ((triple8) -> rule1)) -> rule4))] @2: Harry is round.[(((triple6 ((triple6 triple7) -> rule4) triple8) -> rule5) OR ((triple6 ((triple6 ((triple8) -> rule1)) -> rule4) triple8) -> rule5))] @3: Harry is green.[(((triple8 ((triple6 triple7) -> rule4) ((triple6 ((triple6 triple7) -> rule4) triple8) -> rule5)) -> rule6) OR ((triple8 ((triple6 ((triple8) -> rule1)) -> rule4) ((triple6 ((triple6 triple7) -> rule4) triple8) -> rule5)) -> rule6) OR ((triple8 ((triple6 triple7) -> rule4) ((triple6 ((triple6 ((triple8) -> rule1)) -> rule4) triple8) -> rule5)) -> rule6) OR ((triple8 ((triple6 ((triple8) -> rule1)) -> rule4) ((triple6 ((triple6 ((triple8) -> rule1)) -> rule4) triple8) -> rule5)) -> rule6))]