theorem :: FUZIMPL3:32

N_CC = SugenoNegation 0