「その確率法則は一蹴するしそれは後退する」ということは誤っている
fact1: もし「その具眼はアダプターである」ということは偽でないならそれは傾き易くないか義絶するかもしくは両方ともだ fact2: もし仮になんらかの物は職場毎でないならそれは一蹴する fact3: 仮に何らかの物が定むならばそれは酸い fact4: もしもこの選択ダイアログボックスが仕官するとするとこのカルシニューリンは一蹴しない fact5: もし仮にこのカルシニューリンは一蹴するということはないならば「その確率法則は一蹴するしそれは後退する」ということは間違っている fact6: その具眼は職場毎でその上それは定む fact7: この選択ダイアログボックスは傾き易い fact8: その十七マイル・ドライブは定むない fact9: もしその具眼が傾き易くないかまたは義絶するということはないかまたは両方であるとするとこの選択ダイアログボックスは仕官する fact10: 仮にその具眼が酸いとするとアダプターである fact11: 仮にあるものが定むないなら職場毎でない fact12: 「もしその具眼がアダプターだとしたらその具眼は傾き易くないかまたは義絶しない」ということは本当である
fact6 -> int1: その具眼は定む; fact3 -> int2: もしその具眼が定むとすればそれは酸い; int1 & int2 -> int3: その具眼は酸い; int3 & fact10 -> int4: その具眼はアダプターである; int4 & fact12 -> int5: その具眼は傾き易いということはないかまたは義絶しない; int5 & fact9 -> int6: この選択ダイアログボックスは仕官する; int6 & fact4 -> int7: このカルシニューリンは一蹴しない; int7 & fact5 -> hypothesis;
その確率法則は一蹴するし加えて後退する
fact13 -> int8: 仮にその確率法則は職場毎でないならば一蹴する; fact14 -> int9: もしもその確率法則は定むないとすると「職場毎でない」ということは本当である;
$facts$ = fact1: もし「その具眼はアダプターである」ということは偽でないならそれは傾き易くないか義絶するかもしくは両方ともだ fact2: もし仮になんらかの物は職場毎でないならそれは一蹴する fact3: 仮に何らかの物が定むならばそれは酸い fact4: もしもこの選択ダイアログボックスが仕官するとするとこのカルシニューリンは一蹴しない fact5: もし仮にこのカルシニューリンは一蹴するということはないならば「その確率法則は一蹴するしそれは後退する」ということは間違っている fact6: その具眼は職場毎でその上それは定む fact7: この選択ダイアログボックスは傾き易い fact8: その十七マイル・ドライブは定むない fact9: もしその具眼が傾き易くないかまたは義絶するということはないかまたは両方であるとするとこの選択ダイアログボックスは仕官する fact10: 仮にその具眼が酸いとするとアダプターである fact11: 仮にあるものが定むないなら職場毎でない fact12: 「もしその具眼がアダプターだとしたらその具眼は傾き易くないかまたは義絶しない」ということは本当である ; $hypothesis$ = 「その確率法則は一蹴するしそれは後退する」ということは誤っている ; $proof$ = 
fact6 -> int1: その具眼は定む; fact3 -> int2: もしその具眼が定むとすればそれは酸い; int1 & int2 -> int3: その具眼は酸い; int3 & fact10 -> int4: その具眼はアダプターである; int4 & fact12 -> int5: その具眼は傾き易いということはないかまたは義絶しない; int5 & fact9 -> int6: この選択ダイアログボックスは仕官する; int6 & fact4 -> int7: このカルシニューリンは一蹴しない; int7 & fact5 -> hypothesis; __PROVED__
事実1: もし「その具眼はアダプターである」ということは偽でないならそれは傾き易くないか義絶するかもしくは両方ともだ
事実2: もし仮になんらかの物は職場毎でないならそれは一蹴する
事実3: 仮に何らかの物が定むならばそれは酸い
事実4: もしもこの選択ダイアログボックスが仕官するとするとこのカルシニューリンは一蹴しない
事実5: もし仮にこのカルシニューリンは一蹴するということはないならば「その確率法則は一蹴するしそれは後退する」ということは間違っている
事実6: その具眼は職場毎でその上それは定む
事実7: この選択ダイアログボックスは傾き易い
事実8: その十七マイル・ドライブは定むない
事実9: もしその具眼が傾き易くないかまたは義絶するということはないかまたは両方であるとするとこの選択ダイアログボックスは仕官する
事実10: 仮にその具眼が酸いとするとアダプターである
事実11: 仮にあるものが定むないなら職場毎でない
事実12: 「もしその具眼がアダプターだとしたらその具眼は傾き易くないかまたは義絶しない」ということは本当である

仮説: 「その確率法則は一蹴するしそれは後退する」ということは誤っている
1. 事実6から、推論1: "その具眼は定む"が導かれる
2. 事実3から、推論2: "もしその具眼が定むとすればそれは酸い"が導かれる
3. 推論1と推論2から、推論3: "その具眼は酸い"が導かれる
4. 推論3と事実10から、推論4: "その具眼はアダプターである"が導かれる
5. 推論4と事実12から、推論5: "その具眼は傾き易いということはないかまたは義絶しない"が導かれる
6. 推論5と事実9から、推論6: "この選択ダイアログボックスは仕官する"が導かれる
7. 推論6と事実4から、推論7: "このカルシニューリンは一蹴しない"が導かれる
8. 推論7と事実5から、仮説が導かれる

よって、仮説が証明されました。