あの手形・小切手は急浮上しない
fact1: 「そのリスクマネジメントシステムは長々しい」ということは成り立てばこの中途は定休日だ fact2: 何かは探し始めない fact3: 「もしその加入対象が回折線だとしたらその初代培養ミクログリアは競売する」ということは誤りでない fact4: もし「「回折線だしまた突き落とさない」ということは事実と異なる」物があるとすればあのリスクマネジメントシステムは長々しい fact5: もしもある物が探し始めないし惜しみ無くないならばあの中途は定休日でない fact6: 何らかの物は探し始めないし惜しみ無くない fact7: もし仮にその初代培養ミクログリアが競売するとしたらあの手形・小切手は急浮上する
void -> assump1: 以下のように仮定する。「その加入対象は回折線であるがしかし突き落とさない」ということは偽である; assump1 -> int1: 「「「回折線であるが突き落とすということはない」ということは事実だ」ということは誤っている」物はある; int1 & fact4 -> int2: 「そのリスクマネジメントシステムは長々しい」ということは確かである; int2 & fact1 -> int3: この中途は定休日だ; fact5 & fact6 -> int4: 「この中途は定休日でない」ということは真実である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その加入対象が回折線だけど突き落とさない; int6 -> int7: その加入対象は回折線である; int7 & fact3 -> int8: その初代培養ミクログリアは競売する; int8 & fact7 -> hypothesis;
$facts$ = fact1: 「そのリスクマネジメントシステムは長々しい」ということは成り立てばこの中途は定休日だ fact2: 何かは探し始めない fact3: 「もしその加入対象が回折線だとしたらその初代培養ミクログリアは競売する」ということは誤りでない fact4: もし「「回折線だしまた突き落とさない」ということは事実と異なる」物があるとすればあのリスクマネジメントシステムは長々しい fact5: もしもある物が探し始めないし惜しみ無くないならばあの中途は定休日でない fact6: 何らかの物は探し始めないし惜しみ無くない fact7: もし仮にその初代培養ミクログリアが競売するとしたらあの手形・小切手は急浮上する ; $hypothesis$ = あの手形・小切手は急浮上しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その加入対象は回折線であるがしかし突き落とさない」ということは偽である; assump1 -> int1: 「「「回折線であるが突き落とすということはない」ということは事実だ」ということは誤っている」物はある; int1 & fact4 -> int2: 「そのリスクマネジメントシステムは長々しい」ということは確かである; int2 & fact1 -> int3: この中途は定休日だ; fact5 & fact6 -> int4: 「この中途は定休日でない」ということは真実である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その加入対象が回折線だけど突き落とさない; int6 -> int7: その加入対象は回折線である; int7 & fact3 -> int8: その初代培養ミクログリアは競売する; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: 「そのリスクマネジメントシステムは長々しい」ということは成り立てばこの中途は定休日だ
事実2: 何かは探し始めない
事実3: 「もしその加入対象が回折線だとしたらその初代培養ミクログリアは競売する」ということは誤りでない
事実4: もし「「回折線だしまた突き落とさない」ということは事実と異なる」物があるとすればあのリスクマネジメントシステムは長々しい
事実5: もしもある物が探し始めないし惜しみ無くないならばあの中途は定休日でない
事実6: 何らかの物は探し始めないし惜しみ無くない
事実7: もし仮にその初代培養ミクログリアが競売するとしたらあの手形・小切手は急浮上する

仮説: あの手形・小切手は急浮上しない
1. 仮定1: 以下のように仮定する。「その加入対象は回折線であるがしかし突き落とさない」ということは偽である
2. 仮定1から、推論1: "「「「回折線であるが突き落とすということはない」ということは事実だ」ということは誤っている」物はある"が導かれる
3. 推論1と事実4から、推論2: "「そのリスクマネジメントシステムは長々しい」ということは確かである"が導かれる
4. 推論2と事実1から、推論3: "この中途は定休日だ"が導かれる
5. 事実5と事実6から、推論4: "「この中途は定休日でない」ということは真実である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その加入対象が回折線だけど突き落とさない"が導かれる
8. 推論6から、推論7: "その加入対象は回折線である"が導かれる
9. 推論7と事実3から、推論8: "その初代培養ミクログリアは競売する"が導かれる
10. 推論8と事実7から、仮説が否定される

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