Bob 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. Charlie is both big and round, with blue features. Dave always goes out of his way to show that he is kind to people. Harry is rough and cold, but he's young and will get over it. Big and round people can't help but be cold all of the time. Rough people, round from over eating, who are also cold are young and don't mind the draft. Kind young people that are still blue are generally round shaped. Big people that have a rough demeanor usually feel blue. A young, green person who is cold is rough around the edges. A person with a round body will be feeling very cold and will be rough to handle. Someone who is cold and big is also a red person.
Dave is round.
@0: Bob is blue.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4 OR ((triple5 ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule4))] Charlie is round.[(triple3)] Dave is kind.[(triple6)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Charlie is cold.[(((triple5 triple3) -> rule1))] @2: Charlie is red.[(((triple5 ((triple5 triple3) -> rule1)) -> rule7))] Charlie is rough.[(((((triple5 triple3) -> rule1) triple3) -> rule6))] @3: Charlie is young.[(((triple3 ((triple5 triple3) -> rule1) ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule2))]