Bob can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Dave is a young man who is also kind, blue and rough. In the snow sits Gary, crying from being cold. Even though Harry is big and round, he is cold much of the time. A kind person that is also red and rough is usually also nice. A person who is nice and green with envy is round. A round someone could be blue and round but maybe red. When someone feels cold, while being big and rough, they always turn out to be red. Blue people who are big tend to be rough. Rough people will often be blue.  They thrive on being kind and nice. Anyone who's blue is also green.
Gary is cold.
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is green.[(triple2 OR ((triple3) -> rule7))] Bob is rough.[(triple1 OR ((triple3 triple4) -> rule5))] Dave is blue.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Gary is cold.[(triple9)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is round.[(triple10)] @1: Dave is green.[(((triple8) -> rule7))] Dave is nice.[(((triple6 triple7 triple8) -> rule6))] @2: Dave is round.[(((((triple6 triple7 triple8) -> rule6) ((triple8) -> rule7)) -> rule2))] @3: Dave is red.[(((((((triple6 triple7 triple8) -> rule6) ((triple8) -> rule7)) -> rule2) triple8) -> rule3))]