Alan wears all blue. Big, red Dave is quite kind. Fred is young, but very kind to others. Fred is big, with round features. Gary is a man who is both round and rough. If someone is cold and young, you'll see that they are kind. Anyone perceived to be rough, cold and kind will also be nice. People feeling green and blue are somewhat nice. Someone who tends to be icy cold and rough but secretly nice are generally very blue. A nice person who is downhearted, blue, and green with envy is rough. If someone is feeling blue and round in shape they are usually nice. Anyone who's blue is also green.
Alan is not nice.
@0: Alan is blue.[(triple1)] Dave is big.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Fred is big.[(triple8)] Fred is kind.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Alan is green.[(((triple1) -> rule7))] @2: Alan is nice.[(((((triple1) -> rule7) triple1) -> rule3))] @3: Alan is rough.[(((((((triple1) -> rule7) triple1) -> rule3) triple1 ((triple1) -> rule7)) -> rule5))]