「その成人前は御破算である一方で手厳しくない」ということは成り立たない
fact1: もしも何らかの物が抜き書きするとしたらそれは口惜しいししかも運営コストでない fact2: もしもその原価率は白米でないならば「あの社会科学者は気弱くない」ということは間違いでない fact3: この夕光は生活再建ならば「あの社会科学者は運営コストでない」ということは確かだ fact4: 仮にその成人前が抜き書きしないとすればあの夕光は生活再建であるかもしくは外し易くない fact5: もしこの夕光が生活再建であるかあるいはそれが外し易くないとしたらあの社会科学者は運営コストでない fact6: もしも「あの社会科学者は白米でない」ということは正しいならばそれは気弱い fact7: もしも「とあるものは抜き書きしないしおまけに手厳しくない」ということは成り立たないとしたらそれは抜き書きする fact8: あの社会科学者は気弱い fact9: 仮にその成人前が抜き書きするとすれば御破算だ fact10: もし仮になにがしかの物が抜き書きするとしたら御破算だが手厳しくない fact11: もし仮にあの社会科学者が気弱いということはないとしたらこの夕光は運営コストでなくてその上抜き書きするということはない fact12: あの社会科学者は白米でない fact13: もし仮にこの夕光は抜き書きしないなら「その成人前は御破算であるけど手厳しくない」ということは成り立つということはない fact14: そのラインは試合内容だ fact15: 仮になんらかのものは御破算だとしたら「「それは抜き書きしないしおまけに手厳しくない」ということは確かだ」ということは間違いである fact16: あの社会科学者は生活再建である fact17: もしもそのラインが試合内容であるならば刻苦勉励しないしおまけにリンパ組織だ fact18: 仮にとある物が抜き書きすればそれは御破算だ fact19: もし仮にあの社会科学者は白米でないならそれは運営コストであるし加えて気弱い
void -> assump1: 以下のように仮定する。その成人前は抜き書きしない; fact4 & assump1 -> int1: この夕光は生活再建であるかもしくは外し易いということはない; int1 & fact5 -> int2: あの社会科学者は運営コストであるということはない; fact19 & fact12 -> int3: 「あの社会科学者は運営コストだしその上気弱い」ということは誤りでない; int3 -> int4: 「あの社会科学者は運営コストである」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その成人前は抜き書きする; fact10 -> int7: その成人前が抜き書きするとするとそれは御破算であるしまたそれは手厳しくない; int6 & int7 -> hypothesis;
「その成人前は御破算である一方でそれは手厳しいということはない」ということは間違いだ
fact20 & fact22 -> int8: そのラインは刻苦勉励するということはない一方でリンパ組織である; int8 -> int9: そのラインは刻苦勉励しない; int9 -> int10: 「刻苦勉励しない」ものはある;
$facts$ = fact1: もしも何らかの物が抜き書きするとしたらそれは口惜しいししかも運営コストでない fact2: もしもその原価率は白米でないならば「あの社会科学者は気弱くない」ということは間違いでない fact3: この夕光は生活再建ならば「あの社会科学者は運営コストでない」ということは確かだ fact4: 仮にその成人前が抜き書きしないとすればあの夕光は生活再建であるかもしくは外し易くない fact5: もしこの夕光が生活再建であるかあるいはそれが外し易くないとしたらあの社会科学者は運営コストでない fact6: もしも「あの社会科学者は白米でない」ということは正しいならばそれは気弱い fact7: もしも「とあるものは抜き書きしないしおまけに手厳しくない」ということは成り立たないとしたらそれは抜き書きする fact8: あの社会科学者は気弱い fact9: 仮にその成人前が抜き書きするとすれば御破算だ fact10: もし仮になにがしかの物が抜き書きするとしたら御破算だが手厳しくない fact11: もし仮にあの社会科学者が気弱いということはないとしたらこの夕光は運営コストでなくてその上抜き書きするということはない fact12: あの社会科学者は白米でない fact13: もし仮にこの夕光は抜き書きしないなら「その成人前は御破算であるけど手厳しくない」ということは成り立つということはない fact14: そのラインは試合内容だ fact15: 仮になんらかのものは御破算だとしたら「「それは抜き書きしないしおまけに手厳しくない」ということは確かだ」ということは間違いである fact16: あの社会科学者は生活再建である fact17: もしもそのラインが試合内容であるならば刻苦勉励しないしおまけにリンパ組織だ fact18: 仮にとある物が抜き書きすればそれは御破算だ fact19: もし仮にあの社会科学者は白米でないならそれは運営コストであるし加えて気弱い ; $hypothesis$ = 「その成人前は御破算である一方で手厳しくない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その成人前は抜き書きしない; fact4 & assump1 -> int1: この夕光は生活再建であるかもしくは外し易いということはない; int1 & fact5 -> int2: あの社会科学者は運営コストであるということはない; fact19 & fact12 -> int3: 「あの社会科学者は運営コストだしその上気弱い」ということは誤りでない; int3 -> int4: 「あの社会科学者は運営コストである」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その成人前は抜き書きする; fact10 -> int7: その成人前が抜き書きするとするとそれは御破算であるしまたそれは手厳しくない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が抜き書きするとしたらそれは口惜しいししかも運営コストでない
事実2: もしもその原価率は白米でないならば「あの社会科学者は気弱くない」ということは間違いでない
事実3: この夕光は生活再建ならば「あの社会科学者は運営コストでない」ということは確かだ
事実4: 仮にその成人前が抜き書きしないとすればあの夕光は生活再建であるかもしくは外し易くない
事実5: もしこの夕光が生活再建であるかあるいはそれが外し易くないとしたらあの社会科学者は運営コストでない
事実6: もしも「あの社会科学者は白米でない」ということは正しいならばそれは気弱い
事実7: もしも「とあるものは抜き書きしないしおまけに手厳しくない」ということは成り立たないとしたらそれは抜き書きする
事実8: あの社会科学者は気弱い
事実9: 仮にその成人前が抜き書きするとすれば御破算だ
事実10: もし仮になにがしかの物が抜き書きするとしたら御破算だが手厳しくない
事実11: もし仮にあの社会科学者が気弱いということはないとしたらこの夕光は運営コストでなくてその上抜き書きするということはない
事実12: あの社会科学者は白米でない
事実13: もし仮にこの夕光は抜き書きしないなら「その成人前は御破算であるけど手厳しくない」ということは成り立つということはない
事実14: そのラインは試合内容だ
事実15: 仮になんらかのものは御破算だとしたら「「それは抜き書きしないしおまけに手厳しくない」ということは確かだ」ということは間違いである
事実16: あの社会科学者は生活再建である
事実17: もしもそのラインが試合内容であるならば刻苦勉励しないしおまけにリンパ組織だ
事実18: 仮にとある物が抜き書きすればそれは御破算だ
事実19: もし仮にあの社会科学者は白米でないならそれは運営コストであるし加えて気弱い

仮説: 「その成人前は御破算である一方で手厳しくない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その成人前は抜き書きしない
2. 事実4と仮定1から、推論1: "この夕光は生活再建であるかもしくは外し易いということはない"が導かれる
3. 推論1と事実5から、推論2: "あの社会科学者は運営コストであるということはない"が導かれる
4. 事実19と事実12から、推論3: "「あの社会科学者は運営コストだしその上気弱い」ということは誤りでない"が導かれる
5. 推論3から、推論4: "「あの社会科学者は運営コストである」ということは成り立つ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その成人前は抜き書きする"が導かれる
8. 事実10から、推論7: "その成人前が抜き書きするとするとそれは御破算であるしまたそれは手厳しくない"が導かれる
9. 推論6と推論7から、仮説が否定される

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