このセーフティーネットは歩行する
fact1: 「「その情状酌量はなぐり書きするということはないかあるいはそれは住み良いかまたは両方ともだ」ということは誤りである」ということは本当だ fact2: 仮に「その情状酌量はなぐり書きしないかあるいは住み良いかもしくはどちらもだ」ということは偽だとしたらこのセーフティーネットは歩行する
$facts$ = fact1: 「「その情状酌量はなぐり書きするということはないかあるいはそれは住み良いかまたは両方ともだ」ということは誤りである」ということは本当だ fact2: 仮に「その情状酌量はなぐり書きしないかあるいは住み良いかもしくはどちらもだ」ということは偽だとしたらこのセーフティーネットは歩行する ; $hypothesis$ = このセーフティーネットは歩行する ; $proof$ = 
事実1: 「「その情状酌量はなぐり書きするということはないかあるいはそれは住み良いかまたは両方ともだ」ということは誤りである」ということは本当だ
事実2: 仮に「その情状酌量はなぐり書きしないかあるいは住み良いかもしくはどちらもだ」ということは偽だとしたらこのセーフティーネットは歩行する

仮説: このセーフティーネットは歩行する