「その海難は酒臭くないかそれは一節であるということはないかもしくはどちらもだ」ということは成り立たない
fact1: もしも「そのディスポーザブルは華々しくなくてそれは測定属性でない」ということは間違っているとすればこの白先黒死は救い上げる fact2: もしその海難は堕胎するとしたら「それは酒臭いということはないかあるいは一節でないかまたはどちらもである」ということは偽だ fact3: もし何かは救い上げるとすると堕胎する fact4: その高利は酒臭い fact5: もし「何らかの物はジュパだが堕胎しない」ということは成り立つということはないとしたら堕胎する fact6: 仮にその内的連関がジュパでないとすればその海難は酒臭くないか一節でない fact7: 「この白先黒死は七十四銀行・横浜貯蓄銀行整理後援会でない」ということは成り立つ fact8: もし仮に「何らかの物は堕胎しないし首筋でない」ということは成り立たないとするとそれはジュパだということはない fact9: 「そのディスポーザブルは華々しくないしそれは測定属性でない」ということは誤りだ fact10: もし仮にこの白先黒死は堕胎するとしたら「その内的連関は堕胎しないしそれは首筋でない」ということは成り立たない
fact1 & fact9 -> int1: この白先黒死は救い上げる; fact3 -> int2: もし仮にこの白先黒死が救い上げれば堕胎する; int1 & int2 -> int3: この白先黒死は堕胎する; int3 & fact10 -> int4: 「その内的連関は堕胎しなくておまけに首筋だということはない」ということは偽である; fact8 -> int5: 「その内的連関は堕胎するということはないししかも首筋でない」ということは成り立つということはないとしたらジュパでない; int4 & int5 -> int6: その内的連関はジュパであるということはない; int6 & fact6 -> hypothesis;
「その海難は酒臭くないかもしくはそれは一節でない」ということは真実でない
fact12 -> int7: 「「その海難はジュパだ一方で堕胎しない」ということは真実である」ということは事実と異なるとすればそれは堕胎する;
$facts$ = fact1: もしも「そのディスポーザブルは華々しくなくてそれは測定属性でない」ということは間違っているとすればこの白先黒死は救い上げる fact2: もしその海難は堕胎するとしたら「それは酒臭いということはないかあるいは一節でないかまたはどちらもである」ということは偽だ fact3: もし何かは救い上げるとすると堕胎する fact4: その高利は酒臭い fact5: もし「何らかの物はジュパだが堕胎しない」ということは成り立つということはないとしたら堕胎する fact6: 仮にその内的連関がジュパでないとすればその海難は酒臭くないか一節でない fact7: 「この白先黒死は七十四銀行・横浜貯蓄銀行整理後援会でない」ということは成り立つ fact8: もし仮に「何らかの物は堕胎しないし首筋でない」ということは成り立たないとするとそれはジュパだということはない fact9: 「そのディスポーザブルは華々しくないしそれは測定属性でない」ということは誤りだ fact10: もし仮にこの白先黒死は堕胎するとしたら「その内的連関は堕胎しないしそれは首筋でない」ということは成り立たない ; $hypothesis$ = 「その海難は酒臭くないかそれは一節であるということはないかもしくはどちらもだ」ということは成り立たない ; $proof$ = 
fact1 & fact9 -> int1: この白先黒死は救い上げる; fact3 -> int2: もし仮にこの白先黒死が救い上げれば堕胎する; int1 & int2 -> int3: この白先黒死は堕胎する; int3 & fact10 -> int4: 「その内的連関は堕胎しなくておまけに首筋だということはない」ということは偽である; fact8 -> int5: 「その内的連関は堕胎するということはないししかも首筋でない」ということは成り立つということはないとしたらジュパでない; int4 & int5 -> int6: その内的連関はジュパであるということはない; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「そのディスポーザブルは華々しくなくてそれは測定属性でない」ということは間違っているとすればこの白先黒死は救い上げる
事実2: もしその海難は堕胎するとしたら「それは酒臭いということはないかあるいは一節でないかまたはどちらもである」ということは偽だ
事実3: もし何かは救い上げるとすると堕胎する
事実4: その高利は酒臭い
事実5: もし「何らかの物はジュパだが堕胎しない」ということは成り立つということはないとしたら堕胎する
事実6: 仮にその内的連関がジュパでないとすればその海難は酒臭くないか一節でない
事実7: 「この白先黒死は七十四銀行・横浜貯蓄銀行整理後援会でない」ということは成り立つ
事実8: もし仮に「何らかの物は堕胎しないし首筋でない」ということは成り立たないとするとそれはジュパだということはない
事実9: 「そのディスポーザブルは華々しくないしそれは測定属性でない」ということは誤りだ
事実10: もし仮にこの白先黒死は堕胎するとしたら「その内的連関は堕胎しないしそれは首筋でない」ということは成り立たない

仮説: 「その海難は酒臭くないかそれは一節であるということはないかもしくはどちらもだ」ということは成り立たない
1. 事実1と事実9から、推論1: "この白先黒死は救い上げる"が導かれる
2. 事実3から、推論2: "もし仮にこの白先黒死が救い上げれば堕胎する"が導かれる
3. 推論1と推論2から、推論3: "この白先黒死は堕胎する"が導かれる
4. 推論3と事実10から、推論4: "「その内的連関は堕胎しなくておまけに首筋だということはない」ということは偽である"が導かれる
5. 事実8から、推論5: "「その内的連関は堕胎するということはないししかも首筋でない」ということは成り立つということはないとしたらジュパでない"が導かれる
6. 推論4と推論5から、推論6: "その内的連関はジュパであるということはない"が導かれる
7. 推論6と事実6から、仮説が否定される

よって、仮説が否定されました。