「もし仮に「進み易いしその上起き難くない」ということは嘘だとすれば御待ち下さらない」物はある
fact1: 「あの広域合併は進み易いけど起き難くない」ということは偽であるとしたらそれは御待ち下さる fact2: 固体粒子は配当しない fact3: 仮にあの広域合併は進み易い一方で起き難いということはないとすれば御待ち下さらない fact4: もし「あの広域合併は悪しがしかしそれは育児・家事役割でない」ということは間違いであるならば「それは御待ち下さらない」ということは事実である fact5: もし仮に「何かは進み易いけどそれは起き難いということはない」ということは偽であるとすれば御待ち下さる fact6: もしもあの性的アイデンティティが進み易いが飛び去らないとするとそれはメランコリー親和型であるということはない fact7: 「「口さがなくてまたすりゃ良くない」ということは成り立たないとすれば想像し難い」物はある fact8: 「もしもカラー印刷であるが農村振興政策でないなら物憂くない」ものはある fact9: もしも「あの広域合併は進み易いしさらに起き難い」ということは成り立たないとしたらそれは御待ち下さらない fact10: 「もしも進み易くないとすると御待ち下さらない」物はある fact11: 「もし仮に「進み易いししかも起き難い」ということは誤りであるとすれば御待ち下さらない」物はある fact12: もし仮になにがしかの物は飛び去るけどブントケーキでないならばそれは区切り方でない fact13: そのカプットが固体粒子だとすれば内属しない fact14: あるものがぶれるとすると休止しない fact15: 進み易くないものは御待ち下さらない fact16: 「あるものは急カーブだが約四万年前でない」ということは事実と異なるとすればそれはメランコリー親和型でない fact17: 「この公認会計士は配当する一方でそれは外部参照でない」ということは間違いであるとするとそれは起き難くない fact18: もし仮に「とあるものは進み易いがしかし起き難いということはない」ということは事実であるということはないならば「それは御待ち下さらない」ということは成り立つ fact19: 「「議院運営委員会であるし更に尊敬出来るということはない」ということは真実でないとすると非汚染手術である」物はある fact20: もしあの広域合併が進み易いけどそれは操作し始めないとしたらそれは守り通さない fact21: もしも「あるものは出払うけどそれは遅しない」ということは間違いならばアラブ人街だということはない
fact18 -> int1: もし「あの広域合併は進み易い一方で起き難いということはない」ということは成り立たないならばそれは御待ち下さらない; int1 -> 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$ = 
fact18 -> int1: もし「あの広域合併は進み易い一方で起き難いということはない」ということは成り立たないならばそれは御待ち下さらない; int1 -> hypothesis; __PROVED__
事実1: 「あの広域合併は進み易いけど起き難くない」ということは偽であるとしたらそれは御待ち下さる
事実2: 固体粒子は配当しない
事実3: 仮にあの広域合併は進み易い一方で起き難いということはないとすれば御待ち下さらない
事実4: もし「あの広域合併は悪しがしかしそれは育児・家事役割でない」ということは間違いであるならば「それは御待ち下さらない」ということは事実である
事実5: もし仮に「何かは進み易いけどそれは起き難いということはない」ということは偽であるとすれば御待ち下さる
事実6: もしもあの性的アイデンティティが進み易いが飛び去らないとするとそれはメランコリー親和型であるということはない
事実7: 「「口さがなくてまたすりゃ良くない」ということは成り立たないとすれば想像し難い」物はある
事実8: 「もしもカラー印刷であるが農村振興政策でないなら物憂くない」ものはある
事実9: もしも「あの広域合併は進み易いしさらに起き難い」ということは成り立たないとしたらそれは御待ち下さらない
事実10: 「もしも進み易くないとすると御待ち下さらない」物はある
事実11: 「もし仮に「進み易いししかも起き難い」ということは誤りであるとすれば御待ち下さらない」物はある
事実12: もし仮になにがしかの物は飛び去るけどブントケーキでないならばそれは区切り方でない
事実13: そのカプットが固体粒子だとすれば内属しない
事実14: あるものがぶれるとすると休止しない
事実15: 進み易くないものは御待ち下さらない
事実16: 「あるものは急カーブだが約四万年前でない」ということは事実と異なるとすればそれはメランコリー親和型でない
事実17: 「この公認会計士は配当する一方でそれは外部参照でない」ということは間違いであるとするとそれは起き難くない
事実18: もし仮に「とあるものは進み易いがしかし起き難いということはない」ということは事実であるということはないならば「それは御待ち下さらない」ということは成り立つ
事実19: 「「議院運営委員会であるし更に尊敬出来るということはない」ということは真実でないとすると非汚染手術である」物はある
事実20: もしあの広域合併が進み易いけどそれは操作し始めないとしたらそれは守り通さない
事実21: もしも「あるものは出払うけどそれは遅しない」ということは間違いならばアラブ人街だということはない

仮説: 「もし仮に「進み易いしその上起き難くない」ということは嘘だとすれば御待ち下さらない」物はある
1. 事実18から、推論1: "もし「あの広域合併は進み易い一方で起き難いということはない」ということは成り立たないならばそれは御待ち下さらない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。