あの初級クラスは汚らしくないかもしくは益無しかまたは両方ともである
fact1: もし仮にあの初級クラスがシステム条件でないならそれは汚らしくないかまたは益無し fact2: あの初級クラスはシステム条件でない
$facts$ = fact1: もし仮にあの初級クラスがシステム条件でないならそれは汚らしくないかまたは益無し fact2: あの初級クラスはシステム条件でない ; $hypothesis$ = あの初級クラスは汚らしくないかもしくは益無しかまたは両方ともである ; $proof$ = 
事実1: もし仮にあの初級クラスがシステム条件でないならそれは汚らしくないかまたは益無し
事実2: あの初級クラスはシステム条件でない

仮説: あの初級クラスは汚らしくないかもしくは益無しかまたは両方ともである