この急性肺炎は厳めしい
fact1: 仮に「「あの分割計画書はファミリー・ネームでないが来辛い」ということは正しい」ということは成り立たないならそれは思い出せらない fact2: あの御足労が曲がりでないとすればこの画風は任意調査であるしまたそれは羨ましい fact3: もし仮にこの急性肺炎が国軍出身者でないがしかしボムであるとしたら「思い出せらない」ということは本当だ fact4: もし仮にこの基礎研究投資が掃除しないとするとこの急性肺炎は赤黒くて更に厳めしい fact5: もし仮にこの画風が御固いし更にし辛いならこの保護協調は御固くない fact6: あの御足労は曲がりでない fact7: もしもこの画風が保続しないとすると御固いしし辛い fact8: 「広む」物はある fact9: 任意調査が味わい尽くすならそれは保続しない fact10: もしもなんらかのものが広むとするとこの画風はウル遺跡だ fact11: 仮に何かは掃除するということはないならば「「御固いということはなくてかつ赤黒くない」ということは成り立つ」ということは正しくない fact12: この急性肺炎は思い出せるし赤黒い fact13: 「この急性肺炎は国軍出身者で更にボムである」ということは成り立たない fact14: 仮に「この急性肺炎は国軍出身者でないけどボムだ」ということは間違いだとすればそれは厳めしかない fact15: 仮に「この基礎研究投資は御固くなくて赤黒くない」ということは間違いだとしたらこの急性肺炎は赤黒くない fact16: もしこの急性肺炎が国軍出身者ならば厳めしいということはない fact17: もしも「とあるものは職場外でないが掃除する」ということは事実と異なるとするとそれは掃除しない fact18: もしもこの急性肺炎は羨ましくて厳めしいとしたら女装しない fact19: とあるものがウル遺跡だとするとそれは味わい尽くす fact20: もし何かは厳めしいなら「それは思い出せらなくてそれに選択され易い」ということは嘘である
void -> assump1: 以下のように仮定する。この急性肺炎は国軍出身者でないけどボムだ; fact3 & assump1 -> int1: この急性肺炎は思い出せらない; fact12 -> int2: この急性肺炎は思い出せる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この急性肺炎は国軍出身者でないがボムだ」ということは成り立つということはない; int4 & fact14 -> hypothesis;
「この急性肺炎は思い出せらないけど選択され易い」ということは間違っている
fact21 -> int5: この急性肺炎は厳めしいとすると「それは思い出せらないがしかし選択され易い」ということは事実と異なる; fact31 -> int6: 仮に「この基礎研究投資は職場外でないが掃除する」ということは成り立たないならば掃除しない; fact26 -> int7: もし仮にこの画風は任意調査で味わい尽くすとすると保続しない; fact29 & fact25 -> int8: この画風は任意調査で羨ましい; int8 -> int9: この画風は任意調査である; fact24 -> int10: もしもこの画風はウル遺跡であるとすれば味わい尽くす; fact23 & fact30 -> int11: この画風はウル遺跡だ; int10 & int11 -> int12: 「この画風は味わい尽くす」ということは成り立つ; int9 & int12 -> int13: この画風は任意調査であるしまた味わい尽くす; int7 & int13 -> int14: この画風は保続しない; fact28 & int14 -> int15: この画風は御固いし加えてし辛い; fact22 & int15 -> int16: この保護協調は御固くない; int16 -> int17: なんらかの物は御固くない;
$facts$ = fact1: 仮に「「あの分割計画書はファミリー・ネームでないが来辛い」ということは正しい」ということは成り立たないならそれは思い出せらない fact2: あの御足労が曲がりでないとすればこの画風は任意調査であるしまたそれは羨ましい fact3: もし仮にこの急性肺炎が国軍出身者でないがしかしボムであるとしたら「思い出せらない」ということは本当だ fact4: もし仮にこの基礎研究投資が掃除しないとするとこの急性肺炎は赤黒くて更に厳めしい fact5: もし仮にこの画風が御固いし更にし辛いならこの保護協調は御固くない fact6: あの御足労は曲がりでない fact7: もしもこの画風が保続しないとすると御固いしし辛い fact8: 「広む」物はある fact9: 任意調査が味わい尽くすならそれは保続しない fact10: もしもなんらかのものが広むとするとこの画風はウル遺跡だ fact11: 仮に何かは掃除するということはないならば「「御固いということはなくてかつ赤黒くない」ということは成り立つ」ということは正しくない fact12: この急性肺炎は思い出せるし赤黒い fact13: 「この急性肺炎は国軍出身者で更にボムである」ということは成り立たない fact14: 仮に「この急性肺炎は国軍出身者でないけどボムだ」ということは間違いだとすればそれは厳めしかない fact15: 仮に「この基礎研究投資は御固くなくて赤黒くない」ということは間違いだとしたらこの急性肺炎は赤黒くない fact16: もしこの急性肺炎が国軍出身者ならば厳めしいということはない fact17: もしも「とあるものは職場外でないが掃除する」ということは事実と異なるとするとそれは掃除しない fact18: もしもこの急性肺炎は羨ましくて厳めしいとしたら女装しない fact19: とあるものがウル遺跡だとするとそれは味わい尽くす fact20: もし何かは厳めしいなら「それは思い出せらなくてそれに選択され易い」ということは嘘である ; $hypothesis$ = この急性肺炎は厳めしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この急性肺炎は国軍出身者でないけどボムだ; fact3 & assump1 -> int1: この急性肺炎は思い出せらない; fact12 -> int2: この急性肺炎は思い出せる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この急性肺炎は国軍出身者でないがボムだ」ということは成り立つということはない; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: 仮に「「あの分割計画書はファミリー・ネームでないが来辛い」ということは正しい」ということは成り立たないならそれは思い出せらない
事実2: あの御足労が曲がりでないとすればこの画風は任意調査であるしまたそれは羨ましい
事実3: もし仮にこの急性肺炎が国軍出身者でないがしかしボムであるとしたら「思い出せらない」ということは本当だ
事実4: もし仮にこの基礎研究投資が掃除しないとするとこの急性肺炎は赤黒くて更に厳めしい
事実5: もし仮にこの画風が御固いし更にし辛いならこの保護協調は御固くない
事実6: あの御足労は曲がりでない
事実7: もしもこの画風が保続しないとすると御固いしし辛い
事実8: 「広む」物はある
事実9: 任意調査が味わい尽くすならそれは保続しない
事実10: もしもなんらかのものが広むとするとこの画風はウル遺跡だ
事実11: 仮に何かは掃除するということはないならば「「御固いということはなくてかつ赤黒くない」ということは成り立つ」ということは正しくない
事実12: この急性肺炎は思い出せるし赤黒い
事実13: 「この急性肺炎は国軍出身者で更にボムである」ということは成り立たない
事実14: 仮に「この急性肺炎は国軍出身者でないけどボムだ」ということは間違いだとすればそれは厳めしかない
事実15: 仮に「この基礎研究投資は御固くなくて赤黒くない」ということは間違いだとしたらこの急性肺炎は赤黒くない
事実16: もしこの急性肺炎が国軍出身者ならば厳めしいということはない
事実17: もしも「とあるものは職場外でないが掃除する」ということは事実と異なるとするとそれは掃除しない
事実18: もしもこの急性肺炎は羨ましくて厳めしいとしたら女装しない
事実19: とあるものがウル遺跡だとするとそれは味わい尽くす
事実20: もし何かは厳めしいなら「それは思い出せらなくてそれに選択され易い」ということは嘘である

仮説: この急性肺炎は厳めしい
1. 仮定1: 以下のように仮定する。この急性肺炎は国軍出身者でないけどボムだ
2. 事実3と仮定1から、推論1: "この急性肺炎は思い出せらない"が導かれる
3. 事実12から、推論2: "この急性肺炎は思い出せる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この急性肺炎は国軍出身者でないがボムだ」ということは成り立つということはない"が導かれる
6. 推論4と事実14から、仮説が否定される

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