Alan is big, but he is also nice and kind. Charlie is a young person who often feels blue and cold. Dave is so cold, he's turned blue, which isn't unusual with those rough, round kids. Gary has been blue because he's green with envy. Turns out that sad people feeling blue who are both nice and cold to others are all big people. Remember that anyone with round shapes and rough edges is nice. A young person who has been out in the cold with rough skin is also blue. Someone who's big, especially nice, and also cold at the same time can only be young. A human being that's blue, rough and big is also going to be a cold human being. A human that is cold and also green is also going to be blue. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Dave is big.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple10)] Dave is cold.[(triple9)] Dave is rough.[(triple8)] Dave is round.[(triple7)] Gary is blue.[(triple12)] Gary is green.[(triple11)] @1: Dave is nice.[(((triple7 triple8) -> rule2))] @2: Dave is big.[(((triple9 triple10 ((triple7 triple8) -> rule2)) -> rule1))] @3: Dave is young.[(((((triple9 triple10 ((triple7 triple8) -> rule2)) -> rule1) ((triple7 triple8) -> rule2) triple9) -> rule4))] @4: Dave is kind.[(((triple8 ((((triple9 triple10 ((triple7 triple8) -> rule2)) -> rule1) ((triple7 triple8) -> rule2) triple9) -> rule4) triple9) -> rule7))]