Alan is a young guy who is also round, red, kind, cold and blue. Charlie wears all blue. As much as Fred is nice, he is also cold and often feels blue. A blue colored, nice but rough person is definitely young too. Big and cold people are likely to be round, too. If smeone has a blue and green color, then they are young and probably kind. Find someone big, blue, and kind, and you'll see they are also quite young. A young, green person who is cold is rough around the edges. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. Whenever you see Pete you run into a young man rough, which means he will be nice.
Alan is not green.
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple7)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8)] @1: Alan is green.[(((triple6 triple3 triple4) -> rule6))] @2: Alan is rough.[(((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5))] @3: Alan is nice.[(((triple1 ((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5)) -> rule7))]