Bob is so young and darling he is kind to all the old people on the block. Charlie is round shaped and green colored. Dave is fat; so he appears big and round.  Dave is also nice and kind to everyone that he meets. Big Gary is cold but kind and always green. Round, nice and young folks around here are always green. A human that's cold also means they are a human that is young. It's impossible for someone to be red, big, and cold without them also being kind. Among cold people, those who are round and kind are also rough. Color anybody red and blue, then make them rough, and they will surely be round. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Big kind people are usually cold.
Gary is not young.
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Dave is big.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11 OR ((triple9 triple12) -> rule7))] Gary is green.[(triple10)] Gary is kind.[(triple9)] @1: Dave is cold.[(((triple7 triple8) -> rule7))] Gary is young.[(((triple11) -> rule2) OR ((((triple9 triple12) -> rule7)) -> rule2))] @2: Dave is rough.[(((((triple7 triple8) -> rule7) triple5 triple7) -> rule4))] Dave is young.[(((((triple7 triple8) -> rule7)) -> rule2))] @3: Dave is green.[(((triple5 triple6 ((((triple7 triple8) -> rule7)) -> rule2)) -> rule1))]