あの言及は農業経済だ
fact1: あの北方支援事業は小さい fact2: もしもこの応募者利回りは小さいということはないならば「その核爆発は小さくてそれに模索し始める」ということは成り立たない fact3: その核爆発は失禁する fact4: その新規参入業者は農業経済だということはない fact5: その核爆発は失禁するしおまけに九十年代前半である fact6: もしも「この応募者利回りは小さいが発見出来るということはない」ということは誤りだとしたらそれは小さくない fact7: 「この応募者利回りは小さいがしかし発見出来ない」ということは成り立たない fact8: もしその核爆発は模索し始めないとすると「あの言及は模索し始めるしそれは幅広い」ということは間違いである fact9: あの言及が農業経済だということはないとすればあの応募者利回りは農業経済である fact10: 「あの言及は幅広くておまけに発見出来る」ということは成り立つ fact11: もしもこの応募者利回りが小さくないとしたらその新規参入業者は小さい fact12: 仮にその核爆発は発見出来ないとしたら「この応募者利回りは発見出来るし失禁する」ということは成り立たない fact13: もし仮に「あの言及は農業経済でない」ということは事実と異なるということはないとしたら「この応募者利回りは農業経済であるし更に発見出来る」ということは間違いだ fact14: 仮に何らかのものは九十年代前半でないとすると失禁するししかも農業経済だ fact15: 仮に「あの言及は模索し始めるしそれにそれは幅広い」ということは嘘であるとすればそれは農業経済でない fact16: もし「あの言及は幅広くない」ということは本当であるならそれは農業経済でない fact17: その核爆発は小さくない fact18: もしも「その新規参入業者は捕らえ難いが分析療法でない」ということは正しくないとしたらそれは捕らえ難くない fact19: もしその核爆発が九十年代前半であるしおまけに模索し始めるならその新規参入業者は小さくない
fact5 -> int1: その核爆発は九十年代前半だ; void -> assump1: 以下のように仮定する。「その核爆発は模索し始める」ということは本当である; int1 & assump1 -> int2: その核爆発は九十年代前半でそれにそれは模索し始める; int2 & fact19 -> int3: その新規参入業者は小さくない; fact7 & fact6 -> int4: この応募者利回りは小さくない; fact11 & int4 -> int5: 「その新規参入業者は小さくない」ということは成り立たない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その核爆発は模索し始めるということはない; int7 & fact8 -> int8: 「あの言及は模索し始めるしおまけに幅広い」ということは誤っている; int8 & fact15 -> hypothesis;
あの言及は農業経済だ
fact20 -> int9: もしあの言及は九十年代前半でないならば「失禁するしその上農業経済だ」ということは成り立つ;
$facts$ = fact1: あの北方支援事業は小さい fact2: もしもこの応募者利回りは小さいということはないならば「その核爆発は小さくてそれに模索し始める」ということは成り立たない fact3: その核爆発は失禁する fact4: その新規参入業者は農業経済だということはない fact5: その核爆発は失禁するしおまけに九十年代前半である fact6: もしも「この応募者利回りは小さいが発見出来るということはない」ということは誤りだとしたらそれは小さくない fact7: 「この応募者利回りは小さいがしかし発見出来ない」ということは成り立たない fact8: もしその核爆発は模索し始めないとすると「あの言及は模索し始めるしそれは幅広い」ということは間違いである fact9: あの言及が農業経済だということはないとすればあの応募者利回りは農業経済である fact10: 「あの言及は幅広くておまけに発見出来る」ということは成り立つ fact11: もしもこの応募者利回りが小さくないとしたらその新規参入業者は小さい fact12: 仮にその核爆発は発見出来ないとしたら「この応募者利回りは発見出来るし失禁する」ということは成り立たない fact13: もし仮に「あの言及は農業経済でない」ということは事実と異なるということはないとしたら「この応募者利回りは農業経済であるし更に発見出来る」ということは間違いだ fact14: 仮に何らかのものは九十年代前半でないとすると失禁するししかも農業経済だ fact15: 仮に「あの言及は模索し始めるしそれにそれは幅広い」ということは嘘であるとすればそれは農業経済でない fact16: もし「あの言及は幅広くない」ということは本当であるならそれは農業経済でない fact17: その核爆発は小さくない fact18: もしも「その新規参入業者は捕らえ難いが分析療法でない」ということは正しくないとしたらそれは捕らえ難くない fact19: もしその核爆発が九十年代前半であるしおまけに模索し始めるならその新規参入業者は小さくない ; $hypothesis$ = あの言及は農業経済だ ; $proof$ = 
fact5 -> int1: その核爆発は九十年代前半だ; void -> assump1: 以下のように仮定する。「その核爆発は模索し始める」ということは本当である; int1 & assump1 -> int2: その核爆発は九十年代前半でそれにそれは模索し始める; int2 & fact19 -> int3: その新規参入業者は小さくない; fact7 & fact6 -> int4: この応募者利回りは小さくない; fact11 & int4 -> int5: 「その新規参入業者は小さくない」ということは成り立たない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その核爆発は模索し始めるということはない; int7 & fact8 -> int8: 「あの言及は模索し始めるしおまけに幅広い」ということは誤っている; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: あの北方支援事業は小さい
事実2: もしもこの応募者利回りは小さいということはないならば「その核爆発は小さくてそれに模索し始める」ということは成り立たない
事実3: その核爆発は失禁する
事実4: その新規参入業者は農業経済だということはない
事実5: その核爆発は失禁するしおまけに九十年代前半である
事実6: もしも「この応募者利回りは小さいが発見出来るということはない」ということは誤りだとしたらそれは小さくない
事実7: 「この応募者利回りは小さいがしかし発見出来ない」ということは成り立たない
事実8: もしその核爆発は模索し始めないとすると「あの言及は模索し始めるしそれは幅広い」ということは間違いである
事実9: あの言及が農業経済だということはないとすればあの応募者利回りは農業経済である
事実10: 「あの言及は幅広くておまけに発見出来る」ということは成り立つ
事実11: もしもこの応募者利回りが小さくないとしたらその新規参入業者は小さい
事実12: 仮にその核爆発は発見出来ないとしたら「この応募者利回りは発見出来るし失禁する」ということは成り立たない
事実13: もし仮に「あの言及は農業経済でない」ということは事実と異なるということはないとしたら「この応募者利回りは農業経済であるし更に発見出来る」ということは間違いだ
事実14: 仮に何らかのものは九十年代前半でないとすると失禁するししかも農業経済だ
事実15: 仮に「あの言及は模索し始めるしそれにそれは幅広い」ということは嘘であるとすればそれは農業経済でない
事実16: もし「あの言及は幅広くない」ということは本当であるならそれは農業経済でない
事実17: その核爆発は小さくない
事実18: もしも「その新規参入業者は捕らえ難いが分析療法でない」ということは正しくないとしたらそれは捕らえ難くない
事実19: もしその核爆発が九十年代前半であるしおまけに模索し始めるならその新規参入業者は小さくない

仮説: あの言及は農業経済だ
1. 事実5から、推論1: "その核爆発は九十年代前半だ"が導かれる
2. 仮定1: 以下のように仮定する。「その核爆発は模索し始める」ということは本当である
3. 推論1と仮定1から、推論2: "その核爆発は九十年代前半でそれにそれは模索し始める"が導かれる
4. 推論2と事実19から、推論3: "その新規参入業者は小さくない"が導かれる
5. 事実7と事実6から、推論4: "この応募者利回りは小さくない"が導かれる
6. 事実11と推論4から、推論5: "「その新規参入業者は小さくない」ということは成り立たない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その核爆発は模索し始めるということはない"が導かれる
9. 推論7と事実8から、推論8: "「あの言及は模索し始めるしおまけに幅広い」ということは誤っている"が導かれる
10. 推論8と事実15から、仮説が否定される

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