「あの音ちゃんがＨ因子だとするとあの御老体は予習するということはない」ということは成り立たない
fact1: あの御老体はＨ因子だ fact2: 仮にあの音ちゃんは外し易くないならば「あの御老体はパリーグ優勝でまた下卑る」ということは成り立たない fact3: 仮に「なにがしかのものはパリーグ優勝であるしおまけに下卑る」ということは成り立たないとしたら「それは予習しない」ということは真実だ fact4: 何らかの物が下卑るということはないなら予習しない fact5: あの音ちゃんは刺客達であるということはない fact6: あの音ちゃんは予習するとすると「あの御老体は外し易くない」ということは誤りであるということはない fact7: その職場風土は進行状況なら「あの御老体は特定するが掴み難くない」ということは成り立つということはない fact8: 仮に「あの音ちゃんは外し易いがＨ因子でない」ということは成り立たないならそのダイオードＤはＨ因子である fact9: 「何らかのものはパリーグ優勝だし下卑る」ということは確かでないとすればそれは予習する fact10: あの御老体は予習する fact11: あの音ちゃんがＨ因子ならあの御老体は予習する fact12: 仮に「あの御老体はパリーグ優勝であるしおまけにそれは下卑る」ということは本当でないとしたら予習する fact13: もしもあの御老体が下卑ないとすればそれは予習するということはない fact14: もしもあの音ちゃんはＨ因子であるとすると「外し易いということはない」ということは事実である fact15: もし仮にその湾岸危機が予習するならそれは吸い始めない fact16: 「「あの御老体は特定するけど掴み難くない」ということは正しい」ということは成り立たないならば予習する
void -> assump1: 以下のように仮定する。あの音ちゃんはＨ因子だ; fact14 & assump1 -> int1: 「あの音ちゃんは外し易くない」ということは事実だ; int1 & fact2 -> int2: 「あの御老体はパリーグ優勝であるしその上下卑る」ということは成り立つということはない; fact3 -> int3: もし仮に「あの御老体はパリーグ優勝であるし下卑る」ということは誤りならば「それは予習しない」ということは成り立つ; int2 & int3 -> int4: あの御老体は予習するということはない; [assump1] & int4 -> hypothesis;
そのダイオードＤはＨ因子である
$facts$ = fact1: あの御老体はＨ因子だ fact2: 仮にあの音ちゃんは外し易くないならば「あの御老体はパリーグ優勝でまた下卑る」ということは成り立たない fact3: 仮に「なにがしかのものはパリーグ優勝であるしおまけに下卑る」ということは成り立たないとしたら「それは予習しない」ということは真実だ fact4: 何らかの物が下卑るということはないなら予習しない fact5: あの音ちゃんは刺客達であるということはない fact6: あの音ちゃんは予習するとすると「あの御老体は外し易くない」ということは誤りであるということはない fact7: その職場風土は進行状況なら「あの御老体は特定するが掴み難くない」ということは成り立つということはない fact8: 仮に「あの音ちゃんは外し易いがＨ因子でない」ということは成り立たないならそのダイオードＤはＨ因子である fact9: 「何らかのものはパリーグ優勝だし下卑る」ということは確かでないとすればそれは予習する fact10: あの御老体は予習する fact11: あの音ちゃんがＨ因子ならあの御老体は予習する fact12: 仮に「あの御老体はパリーグ優勝であるしおまけにそれは下卑る」ということは本当でないとしたら予習する fact13: もしもあの御老体が下卑ないとすればそれは予習するということはない fact14: もしもあの音ちゃんはＨ因子であるとすると「外し易いということはない」ということは事実である fact15: もし仮にその湾岸危機が予習するならそれは吸い始めない fact16: 「「あの御老体は特定するけど掴み難くない」ということは正しい」ということは成り立たないならば予習する ; $hypothesis$ = 「あの音ちゃんがＨ因子だとするとあの御老体は予習するということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの音ちゃんはＨ因子だ; fact14 & assump1 -> int1: 「あの音ちゃんは外し易くない」ということは事実だ; int1 & fact2 -> int2: 「あの御老体はパリーグ優勝であるしその上下卑る」ということは成り立つということはない; fact3 -> int3: もし仮に「あの御老体はパリーグ優勝であるし下卑る」ということは誤りならば「それは予習しない」ということは成り立つ; int2 & int3 -> int4: あの御老体は予習するということはない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの御老体はＨ因子だ
事実2: 仮にあの音ちゃんは外し易くないならば「あの御老体はパリーグ優勝でまた下卑る」ということは成り立たない
事実3: 仮に「なにがしかのものはパリーグ優勝であるしおまけに下卑る」ということは成り立たないとしたら「それは予習しない」ということは真実だ
事実4: 何らかの物が下卑るということはないなら予習しない
事実5: あの音ちゃんは刺客達であるということはない
事実6: あの音ちゃんは予習するとすると「あの御老体は外し易くない」ということは誤りであるということはない
事実7: その職場風土は進行状況なら「あの御老体は特定するが掴み難くない」ということは成り立つということはない
事実8: 仮に「あの音ちゃんは外し易いがＨ因子でない」ということは成り立たないならそのダイオードＤはＨ因子である
事実9: 「何らかのものはパリーグ優勝だし下卑る」ということは確かでないとすればそれは予習する
事実10: あの御老体は予習する
事実11: あの音ちゃんがＨ因子ならあの御老体は予習する
事実12: 仮に「あの御老体はパリーグ優勝であるしおまけにそれは下卑る」ということは本当でないとしたら予習する
事実13: もしもあの御老体が下卑ないとすればそれは予習するということはない
事実14: もしもあの音ちゃんはＨ因子であるとすると「外し易いということはない」ということは事実である
事実15: もし仮にその湾岸危機が予習するならそれは吸い始めない
事実16: 「「あの御老体は特定するけど掴み難くない」ということは正しい」ということは成り立たないならば予習する

仮説: 「あの音ちゃんがＨ因子だとするとあの御老体は予習するということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの音ちゃんはＨ因子だ
2. 事実14と仮定1から、推論1: "「あの音ちゃんは外し易くない」ということは事実だ"が導かれる
3. 推論1と事実2から、推論2: "「あの御老体はパリーグ優勝であるしその上下卑る」ということは成り立つということはない"が導かれる
4. 事実3から、推論3: "もし仮に「あの御老体はパリーグ優勝であるし下卑る」ということは誤りならば「それは予習しない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "あの御老体は予習するということはない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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