Alan ate some rotten meat and now feels green. Charlie is big and tends to wear red shirts. From a certain angle Dave is blue but he is young so maybe that will go away. Young Harry is already big and has rough, red skin from working outdoors.  Harry is kind but is feeling blue because of family troubles. Green, nice people who have round shapes are going to be kind to you. All the big and young boys at the park are red. Red, kind, rough people are the young ones. When you meet big guys with red hair, then tend to be cold hearted. Big and cold people are likely to be round, too. A big and blue colored person is also certainly very kind. Nobody who is round and rough and big can keep themselves from being nice.
Dave is not cold.
@0: Alan is green.[(triple1)] Charlie is big.[(triple3)] Charlie is red.[(triple2)] Dave is blue.[(triple5)] Dave is young.[(triple4)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9 OR ((triple10 triple11) -> rule6))] Harry is red.[(triple8 OR ((triple11 triple6) -> rule2))] Harry is rough.[(triple7)] Harry is young.[(triple6 OR ((triple8 triple9 triple7) -> rule3) OR ((triple8 ((triple10 triple11) -> rule6) triple7) -> rule3))] @1: Charlie is cold.[(((triple3 triple2) -> rule4))] Harry is cold.[(((triple11 triple8) -> rule4) OR ((triple11 ((triple11 triple6) -> rule2)) -> rule4))] @2: Charlie is round.[(((triple3 ((triple3 triple2) -> rule4)) -> rule5))] Harry is round.[(((triple11 ((triple11 triple8) -> rule4)) -> rule5) OR ((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5))] @3: Harry is nice.[(((((triple11 ((triple11 triple8) -> rule4)) -> rule5) triple7 triple11) -> rule7) OR ((((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5) triple7 triple11) -> rule7))]