Alan was born only a few years ago so he is young. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Dave is so big, he is often blue, but always kind. Harry is blue and cold. Young round blue people are also big people. If a human is both young and kind, they are also cold. If a person is red and green, then they will present as big. A kind person who is big in size is definitely young. A person that is round, green, and blue is usually considered cold. A big, blue and cold person will also be a round person.
Dave is cold.
@0: Alan is young.[(triple1)] Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Harry is blue.[(triple8)] Harry is cold.[(triple7)] @1: Dave is young.[(((triple4 triple6) -> rule4))] @2: Dave is cold.[(((((triple4 triple6) -> rule4) triple4) -> rule2))] @3: Dave is round.[(((triple6 ((((triple4 triple6) -> rule4) triple4) -> rule2) triple5) -> rule6))]