My friend Dave is very young. People say he is nice for having a round shape. Because Eric, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. They always call him rough Fred. Big people who are red in color are often nice. Almost all of the young blue and red people I have seen are big as well. Blue, red, young people are always going to be kind people, too. Someone who is kind and young with a round figure will always be red too. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. People who are nice and kind are somewhat young.
Dave is not green.
@0: Dave is nice.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is rough.[(triple9)] @1: Eric is red.[(((triple5 triple4 triple7) -> rule4))] @2: Eric is big.[(((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2))] @3: Eric is nice.[(((((triple4 triple8 ((triple5 triple4 triple7) -> rule4)) -> rule2) ((triple5 triple4 triple7) -> rule4)) -> rule1))]