Even though Alan is big and round, he is cold much of the time. Eric is a man who is both round and rough. Fred is rough and cold, but he's young and will get over it. All people that are rough and cold, as well as nice will be kind if you talk to them. An individual that fits the nice, red, and kind description will fit the description of big, too. Someone can be very nice and kind, and this means they are also green. It is true that kind people who have become cold and blue and survived are necessarily big. Someone who's young and frosty cold are actually very nice. If you meet somebody who is green, big and red you'll notice they are also blue.
Eric is not big.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is round.[(triple1)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] @1: Fred is nice.[(((triple6 triple8) -> rule5))] @2: Fred is kind.[(((((triple6 triple8) -> rule5) triple7 triple8) -> rule1))] @3: Fred is green.[(((((triple6 triple8) -> rule5) ((((triple6 triple8) -> rule5) triple7 triple8) -> rule1)) -> rule3))]