The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been. Big, round Charlie is liked by everyone one.  He is easily recognized with his red and green skin. Dave was feeling red with anger after the fight, but he was still a nice but big human being. Green people with red round cheeks are young. Don't be surprised to hear that all nice, kind folks are in fact rough. Blue people who are kind and nice are actually quite rough. Round, young folks tend to feel blue. They found the ones that were round, blue, and green to be nice. If a person has round shape then they are also green and red. Anyone you know who is cold and kind must certainly be young.
Charlie is not nice.
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple8)] Charlie is green.[(triple7)] Charlie is red.[(triple6 OR ((triple7 triple5) -> rule6))] Charlie is round.[(triple5)] Dave is big.[(triple11)] Dave is nice.[(triple10)] Dave is red.[(triple9)] @1: Charlie is young.[(((triple6 triple7 triple5) -> rule1) OR ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1))] @2: Charlie is blue.[(((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) OR ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4))] @3: Charlie is nice.[(((triple5 ((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5))]