Alan became so big that he is now very round. Fortunately the rather green man is still nice. Charlie is big and red, but he's young and will grow out of it. Gary always goes out of his way to show that he is kind to people. Harry ate some rotten meat and now feels green. Nice young people who are round are also blue. It's said that any person with blue skin, round bones, and big feet is kind. If smeone has a blue and green color, then they are young and probably kind. Nobody who is round and rough and big can keep themselves from being nice. All nice people are young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Gary is not nice.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is red.[(triple6)] Charlie is young.[(triple5)] Gary is kind.[(triple8)] Harry is green.[(triple9)] @1: Alan is young.[(((triple2) -> rule5))] @2: Alan is blue.[(((triple2 ((triple2) -> rule5) triple1) -> rule1))] @3: Alan is kind.[(((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple1 triple4) -> rule2) OR ((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple3 ((triple2) -> rule5)) -> rule3))]