Red Alan is what folks call him, because he is quite red. Charlie ate some rotten meat and now feels green. In the snow sits Dave, crying from being cold. Harry is very young red and kind, however he's green, nice and cold as well. Young round blue people are also big people. A kind, cold, round person will be nice in addition. Despite being too big with bright green skin and freezing cold, these people have always been kind. You can count on someone who is red and green being young. People who are red, young, and round are also blue. A person that is feeling blue and slightly big, is red as well. Green people who are kind with rosy red skin are round.
Harry is big.
@0: Alan is red.[(triple1)] Charlie is green.[(triple2)] Dave is cold.[(triple3)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is nice.[(triple6 OR ((triple9 ((triple5 triple7 triple8) -> rule7) triple7) -> rule2))] Harry is red.[(triple5)] Harry is young.[(triple4 OR ((triple5 triple8) -> rule4))] @1: Harry is round.[(((triple5 triple7 triple8) -> rule7))] @2: Harry is blue.[(((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) OR ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5))] @3: Harry is big.[(((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 triple4) -> rule5) ((triple5 triple8) -> rule4)) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) triple4) -> rule1) OR ((((triple5 triple7 triple8) -> rule7) ((((triple5 triple7 triple8) -> rule7) triple5 ((triple5 triple8) -> rule4)) -> rule5) ((triple5 triple8) -> rule4)) -> rule1))]