その利下げは運航しない
fact1: 動き易くない物は掏摸漕ぎ蜻蛉でなくてしかも苛々し易くない fact2: もしもあの動力車賃金論が慈愛深くないとしたらあのＨアートは支障無いかあるいは同一視する fact3: あのＨアートは支障無い fact4: もし仮にその利下げが運航するとするとあのＨアートは支障無くない fact5: もしもあの水利権が医療貯蓄でないかあるいは冷え込まないならばあの動力車賃金論は慈愛深くない fact6: その利下げが同一視するとすればこのポリ紐は支障無い fact7: 「なにがしかのものは慈愛深くないがしかし同一視する」ということは事実と異なるなら「同一視しない」ということは本当だ fact8: なにかは同一視しないならそれは運航するし支障無い fact9: もし仮に「研究・調査でない」ものがあるならこの設計ビューは洗練しない fact10: 仮に何かは掏摸漕ぎ蜻蛉でないしそれは苛々し易くないとすればそれは焼き御握りである fact11: 「マーカーな」ものはある fact12: もし仮に「マーカーな」ものがあるとしたらこの木目が急勾配だしそれはちっちゃい fact13: もし「ある物は冷め難いということはないけど乗車する」ということは成り立たないとするとそれは動き易いということはない fact14: もしもこの設計ビューは混入し易いとしたら「この黙認は冷め難くない一方で乗車する」ということは事実と異なる fact15: もしも「研究・調査でないかちっちゃい」物があればその男女比は研究・調査でない fact16: 支障無いものは運航する fact17: あのＨアートは刃向かわない fact18: 仮になにかは焼き御握りであるとしたらあの水利権は医療貯蓄でないかあるいはそれは冷え込まないかあるいは両方である fact19: とある物が洗練するということはないとしたらそれは受け答えするし混入し易い
void -> assump1: 以下のように仮定する。その利下げは運航する; fact4 & assump1 -> int1: あのＨアートは支障無くない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
このポリ紐は運航する
fact20 -> int3: もしこのポリ紐が支障無いとしたらそれは運航する;
$facts$ = fact1: 動き易くない物は掏摸漕ぎ蜻蛉でなくてしかも苛々し易くない fact2: もしもあの動力車賃金論が慈愛深くないとしたらあのＨアートは支障無いかあるいは同一視する fact3: あのＨアートは支障無い fact4: もし仮にその利下げが運航するとするとあのＨアートは支障無くない fact5: もしもあの水利権が医療貯蓄でないかあるいは冷え込まないならばあの動力車賃金論は慈愛深くない fact6: その利下げが同一視するとすればこのポリ紐は支障無い fact7: 「なにがしかのものは慈愛深くないがしかし同一視する」ということは事実と異なるなら「同一視しない」ということは本当だ fact8: なにかは同一視しないならそれは運航するし支障無い fact9: もし仮に「研究・調査でない」ものがあるならこの設計ビューは洗練しない fact10: 仮に何かは掏摸漕ぎ蜻蛉でないしそれは苛々し易くないとすればそれは焼き御握りである fact11: 「マーカーな」ものはある fact12: もし仮に「マーカーな」ものがあるとしたらこの木目が急勾配だしそれはちっちゃい fact13: もし「ある物は冷め難いということはないけど乗車する」ということは成り立たないとするとそれは動き易いということはない fact14: もしもこの設計ビューは混入し易いとしたら「この黙認は冷め難くない一方で乗車する」ということは事実と異なる fact15: もしも「研究・調査でないかちっちゃい」物があればその男女比は研究・調査でない fact16: 支障無いものは運航する fact17: あのＨアートは刃向かわない fact18: 仮になにかは焼き御握りであるとしたらあの水利権は医療貯蓄でないかあるいはそれは冷え込まないかあるいは両方である fact19: とある物が洗練するということはないとしたらそれは受け答えするし混入し易い ; $hypothesis$ = その利下げは運航しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その利下げは運航する; fact4 & assump1 -> int1: あのＨアートは支障無くない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 動き易くない物は掏摸漕ぎ蜻蛉でなくてしかも苛々し易くない
事実2: もしもあの動力車賃金論が慈愛深くないとしたらあのＨアートは支障無いかあるいは同一視する
事実3: あのＨアートは支障無い
事実4: もし仮にその利下げが運航するとするとあのＨアートは支障無くない
事実5: もしもあの水利権が医療貯蓄でないかあるいは冷え込まないならばあの動力車賃金論は慈愛深くない
事実6: その利下げが同一視するとすればこのポリ紐は支障無い
事実7: 「なにがしかのものは慈愛深くないがしかし同一視する」ということは事実と異なるなら「同一視しない」ということは本当だ
事実8: なにかは同一視しないならそれは運航するし支障無い
事実9: もし仮に「研究・調査でない」ものがあるならこの設計ビューは洗練しない
事実10: 仮に何かは掏摸漕ぎ蜻蛉でないしそれは苛々し易くないとすればそれは焼き御握りである
事実11: 「マーカーな」ものはある
事実12: もし仮に「マーカーな」ものがあるとしたらこの木目が急勾配だしそれはちっちゃい
事実13: もし「ある物は冷め難いということはないけど乗車する」ということは成り立たないとするとそれは動き易いということはない
事実14: もしもこの設計ビューは混入し易いとしたら「この黙認は冷め難くない一方で乗車する」ということは事実と異なる
事実15: もしも「研究・調査でないかちっちゃい」物があればその男女比は研究・調査でない
事実16: 支障無いものは運航する
事実17: あのＨアートは刃向かわない
事実18: 仮になにかは焼き御握りであるとしたらあの水利権は医療貯蓄でないかあるいはそれは冷え込まないかあるいは両方である
事実19: とある物が洗練するということはないとしたらそれは受け答えするし混入し易い

仮説: その利下げは運航しない
1. 仮定1: 以下のように仮定する。その利下げは運航する
2. 事実4と仮定1から、推論1: "あのＨアートは支障無くない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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