あのエクスキューズは二値だということはない
fact1: あの助産師は厚し fact2: もしその劇中ががめつかないとするとあのエクスキューズは二値であるしそれに菌液である fact3: あの助産師はスロットだ fact4: あのエクスキューズはがめついしかつ指導する fact5: あのエクスキューズは死に掛ける fact6: あのエクスキューズはがめついしかつ菌液である fact7: 「あの助産師が厚ししそれにスロットならばその劇中はがめついということはない」ということは成り立つ fact8: あのエクスキューズは通謀する fact9: その上ロースはダブルドリブルで厚し fact10: もしもあの助産師ががめつかないならその劇中は厚し fact11: もし仮にその劇中が菌液でないとするとあのエクスキューズはがめつい fact12: もしも「あの助産師はがめつかない」ということは成り立つとすると「厚しないしスロットである」ということは確かでない fact13: 仮にあのエクスキューズがスロットだということはないとするとあの助産師は菌液で厚し
fact1 & fact3 -> int1: あの助産師は厚ししスロットだ; int1 & fact7 -> int2: その劇中はがめつかない; int2 & fact2 -> int3: あのエクスキューズは二値だし菌液だ; int3 -> hypothesis;
あのエクスキューズは二値でない
$facts$ = fact1: あの助産師は厚し fact2: もしその劇中ががめつかないとするとあのエクスキューズは二値であるしそれに菌液である fact3: あの助産師はスロットだ fact4: あのエクスキューズはがめついしかつ指導する fact5: あのエクスキューズは死に掛ける fact6: あのエクスキューズはがめついしかつ菌液である fact7: 「あの助産師が厚ししそれにスロットならばその劇中はがめついということはない」ということは成り立つ fact8: あのエクスキューズは通謀する fact9: その上ロースはダブルドリブルで厚し fact10: もしもあの助産師ががめつかないならその劇中は厚し fact11: もし仮にその劇中が菌液でないとするとあのエクスキューズはがめつい fact12: もしも「あの助産師はがめつかない」ということは成り立つとすると「厚しないしスロットである」ということは確かでない fact13: 仮にあのエクスキューズがスロットだということはないとするとあの助産師は菌液で厚し ; $hypothesis$ = あのエクスキューズは二値だということはない ; $proof$ = 
fact1 & fact3 -> int1: あの助産師は厚ししスロットだ; int1 & fact7 -> int2: その劇中はがめつかない; int2 & fact2 -> int3: あのエクスキューズは二値だし菌液だ; int3 -> hypothesis; __DISPROVED__
事実1: あの助産師は厚し
事実2: もしその劇中ががめつかないとするとあのエクスキューズは二値であるしそれに菌液である
事実3: あの助産師はスロットだ
事実4: あのエクスキューズはがめついしかつ指導する
事実5: あのエクスキューズは死に掛ける
事実6: あのエクスキューズはがめついしかつ菌液である
事実7: 「あの助産師が厚ししそれにスロットならばその劇中はがめついということはない」ということは成り立つ
事実8: あのエクスキューズは通謀する
事実9: その上ロースはダブルドリブルで厚し
事実10: もしもあの助産師ががめつかないならその劇中は厚し
事実11: もし仮にその劇中が菌液でないとするとあのエクスキューズはがめつい
事実12: もしも「あの助産師はがめつかない」ということは成り立つとすると「厚しないしスロットである」ということは確かでない
事実13: 仮にあのエクスキューズがスロットだということはないとするとあの助産師は菌液で厚し

仮説: あのエクスキューズは二値だということはない
1. 事実1と事実3から、推論1: "あの助産師は厚ししスロットだ"が導かれる
2. 推論1と事実7から、推論2: "その劇中はがめつかない"が導かれる
3. 推論2と事実2から、推論3: "あのエクスキューズは二値だし菌液だ"が導かれる
4. 推論3から、仮説が否定される

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