NР*predicates@АB*predicates@/Forallx_Forally@!A@!Q@A@B&axioms@@+proposition@!a !bC'minimal@@(Cut_ruleЩ@BD!x E' )+-,@'theorem@D"x15 9B@><1:/-@@@A-@A,ForallForall@WUSQ#@C<U!yXCN?OFCRcJUFVWhf'QjMkT_nqXqrG@EwL@F|'_}/hsOtCmj"x0mi%1}~(u2 B@@|_6@A-Existy_Existx@,or_and_exist@@%Exist "y1@&Exist1ĩȶ϶˶ɶ@A*ExistExist@߷۩àܷݩ5t7շ֩:ʷ4? BEG@&Exist2  ﷐"y0٩X[K+`c]@x " ސ4@A+ExistForall@.,*() * K2ȩ4FC6809$/0\ΰ4_ש˰6976"c-cITRPN@A@@ca`  ?>@@@-propositional@0JGT&*] %false@0:+:S/8@0-<+odZ@0*edfshWl@0Y!@#_26DY@#_27J@@GARL]Whbsm~xŠР۠ᠠ砠@lvŠРڠ@0Bl]I