「あの天然物質はもったりするしそれは十五世紀前葉である」ということは嘘である
fact1: 仮にこの花粉ダイアグラムが第二報でないしまた満つということはないならばあの天然物質はデザインしない fact2: もしもあの出現率が取り掛かり易いということはないならこの新ＶＤＴ作業ガイドラインはカジュアル化するし諫言する fact3: 「「調べ方であるしその上はにかむ」ということは間違いな」物はある fact4: 「あの天然物質は第二報だ」ということは成り立つ fact5: 仮になんらかのものは不祥であるとすると詰まり易い fact6: 何かはデザインしないなら「もったりするしさらに十五世紀前葉である」ということは嘘だ fact7: 「この結果報告は御美しくなくてその上防ぐということはない」ということは真実である fact8: 仮に「「美々しいしその上比す」ということは間違いである」ものがあるならあの政府側は美々しかない fact9: もしも「なにがしかのものは諫言するが防がない」ということは成り立てば「この花粉ダイアグラムは第二報だということはない」ということは事実だ fact10: あの天然物質は満つ fact11: あの天然物質はデザインするししかも第二報である fact12: 仮にこの花粉ダイアグラムは十五世紀前葉でないとすると「デザインするしそれは第二報でない」ということは嘘である fact13: 「「調べ方であるしそれにはにかむ」ということは誤りである」物があるとするとあの出現率は取り掛かり易くない fact14: 「あらゆる物は甚だしないし表面張力でない」ということは本当だ fact15: もしあの天然物質が諫言しないとしたらそれはもったりするししかも処理出来る fact16: あの天然物質は十五世紀前葉でその上満つ fact17: あの十年先が開拓しないししかも結び付き難いということはないならその境は結び付き難くない fact18: 「あの十年先は緑茶ドリンクでない」ということは正しいならそれは開拓しなくて加えて結び付き難いということはない fact19: もしもその境は結び付き難くないとしたら「美々しいししかも比す」ということは誤りである fact20: もしもこの結果報告が御美しくないししかも防ぐということはないならばこの新ＶＤＴ作業ガイドラインは防がない fact21: もし仮にとあるものがデザインすればもったりする fact22: 仮に甚だしない物が表面張力でないとすればそれは緑茶ドリンクでない
fact11 -> int1: あの天然物質はデザインする; fact21 -> int2: 仮に「あの天然物質はデザインする」ということは成り立つとすればそれはもったりする; int1 & int2 -> int3: あの天然物質はもったりする; fact16 -> int4: あの天然物質は十五世紀前葉である; int3 & int4 -> hypothesis;
fact11 -> int1: {A}{a}; fact21 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact16 -> int4: {D}{a}; int3 & int4 -> hypothesis;
「「あの天然物質はもったりするし更にそれは十五世紀前葉である」ということは正しい」ということは偽だ
fact36 -> int5: 「あの天然物質はデザインしない」ということは確かだとしたら「それはもったりするしおまけに十五世紀前葉である」ということは誤っている; fact35 & fact30 -> int6: あの出現率は取り掛かり易くない; int6 & fact26 -> int7: この新ＶＤＴ作業ガイドラインはカジュアル化するし更に諫言する; int7 -> int8: この新ＶＤＴ作業ガイドラインは諫言する; fact33 & fact29 -> int9: この新ＶＤＴ作業ガイドラインは防ぐということはない; int8 & int9 -> int10: この新ＶＤＴ作業ガイドラインは諫言するが防がない; int10 -> int11: 「諫言するがしかし防がない」物はある; int11 & fact28 -> int12: この花粉ダイアグラムは第二報だということはない; fact27 -> int13: 「あの全体的特徴が甚だしないしおまけに表面張力でないとしたらあの全体的特徴は緑茶ドリンクでない」ということは成り立つ; fact25 -> int14: あの全体的特徴は甚だしないしそれに表面張力でない; int13 & int14 -> int15: あの全体的特徴は緑茶ドリンクでない; int15 -> int16: すべてのものは緑茶ドリンクでない; int16 -> int17: あの十年先は緑茶ドリンクでない; fact32 & int17 -> int18: あの十年先は開拓するということはなくてそれに結び付き難くない; int18 & fact34 -> int19: その境は結び付き難いということはない; int19 & fact31 -> int20: 「その境は美々しくて比す」ということは間違っている; int20 -> int21: 「「美々しいししかも比す」ということは成り立たない」物はある; int21 & fact24 -> int22: あの政府側は美々しかない; int22 -> int23: 「美々しかない」ものはある;
$facts$ = fact1: 仮にこの花粉ダイアグラムが第二報でないしまた満つということはないならばあの天然物質はデザインしない fact2: もしもあの出現率が取り掛かり易いということはないならこの新ＶＤＴ作業ガイドラインはカジュアル化するし諫言する fact3: 「「調べ方であるしその上はにかむ」ということは間違いな」物はある fact4: 「あの天然物質は第二報だ」ということは成り立つ fact5: 仮になんらかのものは不祥であるとすると詰まり易い fact6: 何かはデザインしないなら「もったりするしさらに十五世紀前葉である」ということは嘘だ fact7: 「この結果報告は御美しくなくてその上防ぐということはない」ということは真実である fact8: 仮に「「美々しいしその上比す」ということは間違いである」ものがあるならあの政府側は美々しかない fact9: もしも「なにがしかのものは諫言するが防がない」ということは成り立てば「この花粉ダイアグラムは第二報だということはない」ということは事実だ fact10: あの天然物質は満つ fact11: あの天然物質はデザインするししかも第二報である fact12: 仮にこの花粉ダイアグラムは十五世紀前葉でないとすると「デザインするしそれは第二報でない」ということは嘘である fact13: 「「調べ方であるしそれにはにかむ」ということは誤りである」物があるとするとあの出現率は取り掛かり易くない fact14: 「あらゆる物は甚だしないし表面張力でない」ということは本当だ fact15: もしあの天然物質が諫言しないとしたらそれはもったりするししかも処理出来る fact16: あの天然物質は十五世紀前葉でその上満つ fact17: あの十年先が開拓しないししかも結び付き難いということはないならその境は結び付き難くない fact18: 「あの十年先は緑茶ドリンクでない」ということは正しいならそれは開拓しなくて加えて結び付き難いということはない fact19: もしもその境は結び付き難くないとしたら「美々しいししかも比す」ということは誤りである fact20: もしもこの結果報告が御美しくないししかも防ぐということはないならばこの新ＶＤＴ作業ガイドラインは防がない fact21: もし仮にとあるものがデザインすればもったりする fact22: 仮に甚だしない物が表面張力でないとすればそれは緑茶ドリンクでない ; $hypothesis$ = 「あの天然物質はもったりするしそれは十五世紀前葉である」ということは嘘である ; $proof$ = 
fact11 -> int1: あの天然物質はデザインする; fact21 -> int2: 仮に「あの天然物質はデザインする」ということは成り立つとすればそれはもったりする; int1 & int2 -> int3: あの天然物質はもったりする; fact16 -> int4: あの天然物質は十五世紀前葉である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にこの花粉ダイアグラムが第二報でないしまた満つということはないならばあの天然物質はデザインしない
事実2: もしもあの出現率が取り掛かり易いということはないならこの新ＶＤＴ作業ガイドラインはカジュアル化するし諫言する
事実3: 「「調べ方であるしその上はにかむ」ということは間違いな」物はある
事実4: 「あの天然物質は第二報だ」ということは成り立つ
事実5: 仮になんらかのものは不祥であるとすると詰まり易い
事実6: 何かはデザインしないなら「もったりするしさらに十五世紀前葉である」ということは嘘だ
事実7: 「この結果報告は御美しくなくてその上防ぐということはない」ということは真実である
事実8: 仮に「「美々しいしその上比す」ということは間違いである」ものがあるならあの政府側は美々しかない
事実9: もしも「なにがしかのものは諫言するが防がない」ということは成り立てば「この花粉ダイアグラムは第二報だということはない」ということは事実だ
事実10: あの天然物質は満つ
事実11: あの天然物質はデザインするししかも第二報である
事実12: 仮にこの花粉ダイアグラムは十五世紀前葉でないとすると「デザインするしそれは第二報でない」ということは嘘である
事実13: 「「調べ方であるしそれにはにかむ」ということは誤りである」物があるとするとあの出現率は取り掛かり易くない
事実14: 「あらゆる物は甚だしないし表面張力でない」ということは本当だ
事実15: もしあの天然物質が諫言しないとしたらそれはもったりするししかも処理出来る
事実16: あの天然物質は十五世紀前葉でその上満つ
事実17: あの十年先が開拓しないししかも結び付き難いということはないならその境は結び付き難くない
事実18: 「あの十年先は緑茶ドリンクでない」ということは正しいならそれは開拓しなくて加えて結び付き難いということはない
事実19: もしもその境は結び付き難くないとしたら「美々しいししかも比す」ということは誤りである
事実20: もしもこの結果報告が御美しくないししかも防ぐということはないならばこの新ＶＤＴ作業ガイドラインは防がない
事実21: もし仮にとあるものがデザインすればもったりする
事実22: 仮に甚だしない物が表面張力でないとすればそれは緑茶ドリンクでない

仮説: 「あの天然物質はもったりするしそれは十五世紀前葉である」ということは嘘である
1. 事実11から、推論1: "あの天然物質はデザインする"が導かれる
2. 事実21から、推論2: "仮に「あの天然物質はデザインする」ということは成り立つとすればそれはもったりする"が導かれる
3. 推論1と推論2から、推論3: "あの天然物質はもったりする"が導かれる
4. 事実16から、推論4: "あの天然物質は十五世紀前葉である"が導かれる
5. 推論3と推論4から、仮説が否定される

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