Red Alan is what folks call him, because he is quite red. Young Dave is already big and has rough, red skin from working outdoors.  Dave is kind but is feeling blue because of family troubles. Fred always goes out of his way to show that he is kind to people. An individual that fits the nice, red, and kind description will fit the description of big, too. I have found that if someone is kind and red, that they are quite often nice. Nice people who have red cold skin are round. Nice people are cold people.
Dave is round.
@0: Alan is red.[(triple1)] Dave is big.[(triple7 OR ((triple4 triple5 ((triple5 triple4) -> rule2)) -> rule1))] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is kind.[(triple8)] @1: Dave is nice.[(((triple5 triple4) -> rule2))] @2: Dave is cold.[(((((triple5 triple4) -> rule2)) -> rule4))] @3: Dave is round.[(((triple4 ((triple5 triple4) -> rule2) ((((triple5 triple4) -> rule2)) -> rule4)) -> rule3))]