Charlie is big and tends to wear red shirts. Young Dave is kind and perpetually cold, especially during the winter holidays when he is green and red. Red Fred is what folks call him, because he is quite red. Harry is young and round, he is also green. A nice person with rough skin is red. Young round blue people are also big people. You can see that cold, blue people are round in shape. Kind people, for example, like the ones at the bank are always blue.
Dave is not big.
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Dave is young.[(triple3)] Fred is red.[(triple8)] Harry is green.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Dave is blue.[(((triple5) -> rule4))] @2: Dave is round.[(((triple7 ((triple5) -> rule4)) -> rule3))] @3: Dave is big.[(((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4) triple3) -> rule2))]