Alan wears all blue. Charlie is so young and darling he is kind to all the old people on the block. Young Dave got into a fight that left him with red sores on his face. Upon meeting Harry, you'll notice he's green and kind. A nice person who is green is feeling cold. If you are green you are also kind. If a human is both young and kind, they are also cold. People with blue and red skin color are also green. A young, green person who is cold is rough around the edges. Kind people who look green are almost always young in age. They found the ones that were round, blue, and green to be nice.
Dave is nice.
@0: Alan is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is young.[(triple2)] Dave is red.[(triple5)] Dave is young.[(triple4)] Harry is green.[(triple7)] Harry is kind.[(triple6 OR ((triple7) -> rule2))] @1: Charlie is cold.[(((triple2 triple3) -> rule3))] Harry is young.[(((triple7 triple6) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6))] @2: Harry is cold.[(((((triple7 triple6) -> rule6) triple6) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3))] @3: Harry is rough.[(((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5))]