Charlie is both big and round, with blue features. Dave is rough, round and young but also red. Harry is rough around the edges, but he's often blue and always nice. A cold human with round and rough aspects is always kind. A cold, red person with a kind disposition will certainly be big. Red and round people will be cold even in the summer. A person who is round and nice is cold. Nice, kind people who look rough almost always feel cold.
Dave is big.
@0: Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Charlie is round.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Harry is blue.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Dave is cold.[(((triple7 triple5) -> rule3))] @2: Dave is kind.[(((((triple7 triple5) -> rule3) triple5 triple6) -> rule1))] @3: Dave is big.[(((triple7 ((triple7 triple5) -> rule3) ((((triple7 triple5) -> rule3) triple5 triple6) -> rule1)) -> rule2))]