Alan has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. That guy Bob is big, but he's always kind to little ones. Fred was born only a few years ago so he is young. Being round and nice automatically means a person is kind. A kind and green person who is rough around the edges is cold. Any person who is blue and round, if they are kind at the same time, will be young. Being a young, round and kind individual means that you are also a blue individual. A rough, big soul is sure to be nice, too. A cold, red person with a kind disposition will certainly be big. Anyone you know who is cold and kind must certainly be young.
Alan is not blue.
@0: Alan is green.[(triple5)] Alan is nice.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple7)] Bob is kind.[(triple6)] Fred is young.[(triple8)] @1: Alan is kind.[(((triple1 triple4) -> rule1))] @2: Alan is cold.[(((triple5 triple2 ((triple1 triple4) -> rule1)) -> rule2))] @3: Alan is big.[(((triple3 ((triple5 triple2 ((triple1 triple4) -> rule1)) -> rule2) ((triple1 triple4) -> rule1)) -> rule6))] Alan is young.[(((((triple5 triple2 ((triple1 triple4) -> rule1)) -> rule2) ((triple1 triple4) -> rule1)) -> rule7))] @4: Alan is blue.[(((((((triple5 triple2 ((triple1 triple4) -> rule1)) -> rule2) ((triple1 triple4) -> rule1)) -> rule7) triple1 ((triple1 triple4) -> rule1)) -> rule4))]