Alan feels blue because the other kids made fun of his round shape. The round, rough, and green one was labeled Charlie after all. If you meet Dave, you will know that he is young, red and kind. Gary is quite round but rough and is on the nice side, but rather cold. You'll find that a green, round person tends to be rough with other people. When a man or woman is kind, that man or woman is red as well. Red people,though round,are quite big. Someone nice is kind. Someone who's big, especially nice, and also cold at the same time can only be young.
Dave is not red.
@0: Alan is blue.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple5)] Charlie is rough.[(triple4 OR ((triple3 triple5) -> rule1))] Charlie is round.[(triple3)] Dave is kind.[(triple8)] Dave is red.[(triple7 OR ((triple8) -> rule2))] Dave is young.[(triple6)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Gary is kind.[(((triple11) -> rule4))] @2: Gary is red.[(((((triple11) -> rule4)) -> rule2))] @3: Gary is big.[(((((((triple11) -> rule4)) -> rule2) triple9) -> rule3))] @4: Gary is young.[(((((((((triple11) -> rule4)) -> rule2) triple9) -> rule3) triple11 triple12) -> rule5))]