The round, rough, and green one was labeled Alan after all. Charlie feels blue because the other kids made fun of his round shape. Dave wears a green and red coat, but is always cold. Gary is so cold, he's turned blue, which isn't unusual with those rough, round kids. When a man or woman is kind, that man or woman is red as well. Someone with big, rough hands and a green thumb is undoubtedly someone young who likes to garden. It is a universal truth that whoever is young and round and big must also be kind. If a person is both rough and round, you know they are also red. If you meet someone who is big and round with a cold personality, you'll find that they are green as well. All rough people are big in some way.
Dave is not blue.
@0: Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is round.[(triple4)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Alan is big.[(((triple2) -> rule6))] Alan is red.[(((triple2 triple1) -> rule4) OR ((((((triple2 ((triple2) -> rule6) triple3) -> rule2) triple1 ((triple2) -> rule6)) -> rule3)) -> rule1))] Gary is big.[(((triple10) -> rule6))] Gary is red.[(((triple10 triple9) -> rule4) OR ((((((triple10 ((triple10) -> rule6) ((triple11 triple9 ((triple10) -> rule6)) -> rule5)) -> rule2) triple9 ((triple10) -> rule6)) -> rule3)) -> rule1))] @2: Alan is young.[(((triple2 ((triple2) -> rule6) triple3) -> rule2))] Gary is green.[(((triple11 triple9 ((triple10) -> rule6)) -> rule5))] @3: Alan is kind.[(((((triple2 ((triple2) -> rule6) triple3) -> rule2) triple1 ((triple2) -> rule6)) -> rule3))] Gary is young.[(((triple10 ((triple10) -> rule6) ((triple11 triple9 ((triple10) -> rule6)) -> rule5)) -> rule2))] @4: Gary is kind.[(((((triple10 ((triple10) -> rule6) ((triple11 triple9 ((triple10) -> rule6)) -> rule5)) -> rule2) triple9 ((triple10) -> rule6)) -> rule3))]