Young Alan knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Charlie is big and rough. Dave was born only a few years ago so he is young. Harry ate some rotten meat and now feels green. Kind young people are red. Soon you will understand that big people are nice. When you meet big guys with red hair, then tend to be cold hearted. When anyone is young, red and green, you know they'll also be blue. Being blue, cold, and rough must be very trying. At least they are also big. People who are rough are often rather kind as well.
Harry is not young.
@0: Alan is cold.[(triple6)] Alan is green.[(triple5)] Alan is kind.[(triple4 OR ((triple3) -> rule6))] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is rough.[(triple7)] Dave is young.[(triple9)] Harry is green.[(triple10)] @1: Alan is red.[(((triple4 triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule1))] Charlie is kind.[(((triple7) -> rule6))] Charlie is nice.[(((triple8) -> rule2))] @2: Alan is blue.[(((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) OR ((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4))] @3: Alan is big.[(((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5) OR ((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5))] @4: Alan is nice.[(((((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2))]