あの自己水は黒蛇だということはない
fact1: 「あの自己水は好ましないし増量でない」ということは間違っている fact2: もし「あの自己水は好ましないししかも増量でない」ということは成り立つということはないならばそれは黒蛇でない
$facts$ = fact1: 「あの自己水は好ましないし増量でない」ということは間違っている fact2: もし「あの自己水は好ましないししかも増量でない」ということは成り立つということはないならばそれは黒蛇でない ; $hypothesis$ = あの自己水は黒蛇だということはない ; $proof$ = 
事実1: 「あの自己水は好ましないし増量でない」ということは間違っている
事実2: もし「あの自己水は好ましないししかも増量でない」ということは成り立つということはないならばそれは黒蛇でない

仮説: あの自己水は黒蛇だということはない