この黒豆は運動耐容能だ
fact1: もし仮になにがしかの物は最終氷河期でないとしたら「裏書きするがしかし気恥ずかしくない」ということは誤っている fact2: その一般大衆向けは粗い fact3: もし仮に「「その卵殻は結成するが傅かない」ということは成り立つ」ということは成り立つということはないとすると結成しない fact4: 「この黒豆は最終氷河期だがしかしそれは気恥ずかしくない」ということは嘘だとするとそれは運動耐容能でない fact5: あの辞書は裏書きしないなら「この黒豆は最終氷河期であるけれど気恥ずかしくない」ということは誤りである fact6: もし仮に「なんらかのものは憎しし更にドジャースだ」ということは間違っているとしたらそれは最終氷河期でない fact7: その一般大衆向けは高笑いする fact8: その一般大衆向けは呪わしくない fact9: あの辞書は高笑いしない fact10: あの辞書が呪わしくないとすればその一般大衆向けは粗くないしその上運動耐容能だということはない fact11: 仮にその一般大衆向けが粗くないし運動耐容能でないとすればあの黒豆は運動耐容能である fact12: もしも「ある物は惜しくて加えて休憩ロビーである」ということは成り立たないとすれば「惜しくない」ということは誤りでない fact13: 仮に「その卵殻は結成しない」ということは本当であるなら「その雪質は惜しくておまけにそれは休憩ロビーである」ということは成り立たない fact14: もしもその一般大衆向けが呪わしくないならそれは高笑いするし加えてそれは入力し終わる fact15: この初手は伸さないとすれば「その卵殻は結成するがしかし傅くということはない」ということは成り立たない fact16: その一般大衆向けは運動耐容能でない fact17: 仮に「その一般大衆向けは最終氷河期でない」ということは間違いでないとすると「この黒豆は入力し終わるけれどそれは気恥ずかしいということはない」ということは成り立つということはない fact18: もし仮にこの黒豆が最終氷河期でないとすればそれは運動耐容能でない fact19: もしその一般大衆向けが裏書きしないならばあの辞書は呪わしいし粗い fact20: もしもその一般大衆向けが入力し終わるし粗いとするとあの辞書は裏書きしない fact21: もし「この政党内閣は裏書きするがそれは気恥ずかしいということはない」ということは成り立たないとすればあの辞書は呪わしいということはない
fact14 & fact8 -> int1: その一般大衆向けは高笑いするし入力し終わる; int1 -> int2: その一般大衆向けは入力し終わる; int2 & fact2 -> int3: その一般大衆向けは入力し終わるしそれにそれは粗い; int3 & fact20 -> int4: あの辞書は裏書きしない; int4 & fact5 -> int5: 「「この黒豆が最終氷河期だけどそれは気恥ずかしくない」ということは誤っている」ということは本当だ; int5 & fact4 -> hypothesis;
あの辞書は呪わしい
$facts$ = fact1: もし仮になにがしかの物は最終氷河期でないとしたら「裏書きするがしかし気恥ずかしくない」ということは誤っている fact2: その一般大衆向けは粗い fact3: もし仮に「「その卵殻は結成するが傅かない」ということは成り立つ」ということは成り立つということはないとすると結成しない fact4: 「この黒豆は最終氷河期だがしかしそれは気恥ずかしくない」ということは嘘だとするとそれは運動耐容能でない fact5: あの辞書は裏書きしないなら「この黒豆は最終氷河期であるけれど気恥ずかしくない」ということは誤りである fact6: もし仮に「なんらかのものは憎しし更にドジャースだ」ということは間違っているとしたらそれは最終氷河期でない fact7: その一般大衆向けは高笑いする fact8: その一般大衆向けは呪わしくない fact9: あの辞書は高笑いしない fact10: あの辞書が呪わしくないとすればその一般大衆向けは粗くないしその上運動耐容能だということはない fact11: 仮にその一般大衆向けが粗くないし運動耐容能でないとすればあの黒豆は運動耐容能である fact12: もしも「ある物は惜しくて加えて休憩ロビーである」ということは成り立たないとすれば「惜しくない」ということは誤りでない fact13: 仮に「その卵殻は結成しない」ということは本当であるなら「その雪質は惜しくておまけにそれは休憩ロビーである」ということは成り立たない fact14: もしもその一般大衆向けが呪わしくないならそれは高笑いするし加えてそれは入力し終わる fact15: この初手は伸さないとすれば「その卵殻は結成するがしかし傅くということはない」ということは成り立たない fact16: その一般大衆向けは運動耐容能でない fact17: 仮に「その一般大衆向けは最終氷河期でない」ということは間違いでないとすると「この黒豆は入力し終わるけれどそれは気恥ずかしいということはない」ということは成り立つということはない fact18: もし仮にこの黒豆が最終氷河期でないとすればそれは運動耐容能でない fact19: もしその一般大衆向けが裏書きしないならばあの辞書は呪わしいし粗い fact20: もしもその一般大衆向けが入力し終わるし粗いとするとあの辞書は裏書きしない fact21: もし「この政党内閣は裏書きするがそれは気恥ずかしいということはない」ということは成り立たないとすればあの辞書は呪わしいということはない ; $hypothesis$ = この黒豆は運動耐容能だ ; $proof$ = 
fact14 & fact8 -> int1: その一般大衆向けは高笑いするし入力し終わる; int1 -> int2: その一般大衆向けは入力し終わる; int2 & fact2 -> int3: その一般大衆向けは入力し終わるしそれにそれは粗い; int3 & fact20 -> int4: あの辞書は裏書きしない; int4 & fact5 -> int5: 「「この黒豆が最終氷河期だけどそれは気恥ずかしくない」ということは誤っている」ということは本当だ; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は最終氷河期でないとしたら「裏書きするがしかし気恥ずかしくない」ということは誤っている
事実2: その一般大衆向けは粗い
事実3: もし仮に「「その卵殻は結成するが傅かない」ということは成り立つ」ということは成り立つということはないとすると結成しない
事実4: 「この黒豆は最終氷河期だがしかしそれは気恥ずかしくない」ということは嘘だとするとそれは運動耐容能でない
事実5: あの辞書は裏書きしないなら「この黒豆は最終氷河期であるけれど気恥ずかしくない」ということは誤りである
事実6: もし仮に「なんらかのものは憎しし更にドジャースだ」ということは間違っているとしたらそれは最終氷河期でない
事実7: その一般大衆向けは高笑いする
事実8: その一般大衆向けは呪わしくない
事実9: あの辞書は高笑いしない
事実10: あの辞書が呪わしくないとすればその一般大衆向けは粗くないしその上運動耐容能だということはない
事実11: 仮にその一般大衆向けが粗くないし運動耐容能でないとすればあの黒豆は運動耐容能である
事実12: もしも「ある物は惜しくて加えて休憩ロビーである」ということは成り立たないとすれば「惜しくない」ということは誤りでない
事実13: 仮に「その卵殻は結成しない」ということは本当であるなら「その雪質は惜しくておまけにそれは休憩ロビーである」ということは成り立たない
事実14: もしもその一般大衆向けが呪わしくないならそれは高笑いするし加えてそれは入力し終わる
事実15: この初手は伸さないとすれば「その卵殻は結成するがしかし傅くということはない」ということは成り立たない
事実16: その一般大衆向けは運動耐容能でない
事実17: 仮に「その一般大衆向けは最終氷河期でない」ということは間違いでないとすると「この黒豆は入力し終わるけれどそれは気恥ずかしいということはない」ということは成り立つということはない
事実18: もし仮にこの黒豆が最終氷河期でないとすればそれは運動耐容能でない
事実19: もしその一般大衆向けが裏書きしないならばあの辞書は呪わしいし粗い
事実20: もしもその一般大衆向けが入力し終わるし粗いとするとあの辞書は裏書きしない
事実21: もし「この政党内閣は裏書きするがそれは気恥ずかしいということはない」ということは成り立たないとすればあの辞書は呪わしいということはない

仮説: この黒豆は運動耐容能だ
1. 事実14と事実8から、推論1: "その一般大衆向けは高笑いするし入力し終わる"が導かれる
2. 推論1から、推論2: "その一般大衆向けは入力し終わる"が導かれる
3. 推論2と事実2から、推論3: "その一般大衆向けは入力し終わるしそれにそれは粗い"が導かれる
4. 推論3と事実20から、推論4: "あの辞書は裏書きしない"が導かれる
5. 推論4と事実5から、推論5: "「「この黒豆が最終氷河期だけどそれは気恥ずかしくない」ということは誤っている」ということは本当だ"が導かれる
6. 推論5と事実4から、仮説が否定される

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