Charlie seems to be round. Dave is a kind person and he is also often cold. Eric is a round and rough around the edges, and he is also big. Gary is somehow red and kind and also green. Anyone who is both red and green must be as cold as Christmas. Someone being nice, even when they are cold without a doubt means that they are round about the middle. Anyone feeling cold is bound to act nice. Most young kind people tend to be red too.
Dave is round.
@0: Charlie is round.[(triple1)] Dave is cold.[(triple3)] Dave is kind.[(triple2)] Eric is big.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] @1: Dave is nice.[(((triple3) -> rule3))] Gary is cold.[(((triple7 triple9) -> rule1))] @2: Dave is round.[(((triple3 ((triple3) -> rule3)) -> rule2))] Gary is nice.[(((((triple7 triple9) -> rule1)) -> rule3))] @3: Gary is round.[(((((triple7 triple9) -> rule1) ((((triple7 triple9) -> rule1)) -> rule3)) -> rule2))]