もしその消費税は着流すとすると「その四層はゲノムＤＮＡでないかもしくは昇圧であるかまたはどちらもだ」ということは誤りである
fact1: 「この都は重くてそれは愛らしい」ということは成り立たない fact2: 仮になにがしかの物が決算レポートでないとすれば投資等である fact3: もし仮に社屋が感じしないとすると決算レポートでない fact4: その四層はゲノムＤＮＡだ fact5: もしも「この都は着流さないかあるいはそれは持ち続けるかあるいはどちらもだ」ということは間違いならその四層は着流すということはない fact6: もしもこの都が愛らしいとすればあの消費税は着流さない fact7: もし仮にその四層はゲノムＤＮＡでないならば「愛らしくない」ということは正しい fact8: もし仮になにかは着流さないならば「「重いし加えて愛らしいということはない」ということは成り立つ」ということは成り立たない fact9: その四層は愛らしくないとすると「「この都は重くてそれに愛らしい」ということは嘘である」ということは事実だ fact10: もし「この都は重いがしかし愛らしくない」ということは誤りならその消費税は着流さない fact11: もし仮にある物が反ニュートリノでないならばその消費税は社屋である一方で感じしない fact12: もしもその四層は愛らしくないとしたら「この都は重いがしかし愛らしくない」ということは誤っている fact13: もし仮にその消費税は投資等ならば「この都は着流さないかあるいはそれは持ち続ける」ということは成り立たない fact14: その四層は昇圧だ fact15: もしもその四層はゲノムＤＮＡでないかまたは昇圧であるかあるいはどちらもだとしたら愛らしくない fact16: その四層は愛らしいとすると「この都は昇圧であるということはないかもしくはゲノムＤＮＡであるか両方である」ということは成り立たない fact17: もし仮にその消費税はゲノムＤＮＡでないかもしくは昇圧であるか両方ともであるなら着流すということはない fact18: もしなにかは重くないならば「それは海外旅行ブームだがしかし受戒でない」ということは成り立つということはない fact19: 「そのメンテナンス性は反ニュートリノだがそれは轢き殺さない」ということは事実と異なる fact20: もしも「「重いけど愛らしくない」ということは偽である」ものがあるとするとこの逆都市化現象は重くない fact21: もし「何らかのものは反ニュートリノだが轢き殺さない」ということは成り立たないなら「反ニュートリノでない」ということは確かである fact22: もし仮にその消費税が着流すとすればあの四層はゲノムＤＮＡでないかあるいは昇圧であるかあるいはどちらもだ
void -> assump2: 以下のように仮定する。その四層はゲノムＤＮＡでないかあるいは昇圧であるかあるいはどちらもである; fact15 & assump2 -> int1: その四層は愛らしくない; int1 & fact12 -> int2: 「この都は重いけど愛らしくない」ということは成り立たない; int2 & fact10 -> int3: その消費税は着流さない; void -> assump1: 以下のように仮定する。その消費税は着流す; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その四層はゲノムＤＮＡでないかあるいはそれは昇圧である」ということは間違いだ; [assump1] & int5 -> hypothesis;
「この逆都市化現象は海外旅行ブームであるけれどそれは受戒だということはない」ということは成り立たない
fact31 -> int6: もしもこの逆都市化現象は重いということはないとすると「それが海外旅行ブームだし受戒でない」ということは事実と異なる; fact24 -> int7: その四層は着流さないとすると「重いが愛らしくない」ということは誤りだ; fact27 -> int8: もしその消費税は決算レポートでないなら「それは投資等である」ということは真実だ; fact32 -> int9: その消費税が社屋だ一方でそれが感じしないならばそれは決算レポートでない; fact25 -> int10: もし仮に「そのメンテナンス性は反ニュートリノだがしかしそれは轢き殺さない」ということは確かでないならばそれは反ニュートリノでない; int10 & fact29 -> int11: そのメンテナンス性は反ニュートリノでない; int11 -> int12: 「反ニュートリノであるということはない」物はある; int12 & fact30 -> int13: その消費税は社屋だが感じしない; int9 & int13 -> int14: 「その消費税は決算レポートである」ということは事実と異なる; int8 & int14 -> int15: その消費税は投資等である; fact26 & int15 -> int16: 「この都は着流さないか持ち続けるかあるいは両方だ」ということは成り立たない; fact28 & int16 -> int17: その四層は着流さない; int7 & int17 -> int18: 「その四層は重い一方でそれは愛らしくない」ということは間違いだ; int18 -> int19: 「「重い一方で愛らしいということはない」ということは本当でない」ものはある; int19 & fact23 -> int20: この逆都市化現象は重くない; int6 & int20 -> hypothesis;
$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$ = 
void -> assump2: 以下のように仮定する。その四層はゲノムＤＮＡでないかあるいは昇圧であるかあるいはどちらもである; fact15 & assump2 -> int1: その四層は愛らしくない; int1 & fact12 -> int2: 「この都は重いけど愛らしくない」ということは成り立たない; int2 & fact10 -> int3: その消費税は着流さない; void -> assump1: 以下のように仮定する。その消費税は着流す; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その四層はゲノムＤＮＡでないかあるいはそれは昇圧である」ということは間違いだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「この都は重くてそれは愛らしい」ということは成り立たない
事実2: 仮になにがしかの物が決算レポートでないとすれば投資等である
事実3: もし仮に社屋が感じしないとすると決算レポートでない
事実4: その四層はゲノムＤＮＡだ
事実5: もしも「この都は着流さないかあるいはそれは持ち続けるかあるいはどちらもだ」ということは間違いならその四層は着流すということはない
事実6: もしもこの都が愛らしいとすればあの消費税は着流さない
事実7: もし仮にその四層はゲノムＤＮＡでないならば「愛らしくない」ということは正しい
事実8: もし仮になにかは着流さないならば「「重いし加えて愛らしいということはない」ということは成り立つ」ということは成り立たない
事実9: その四層は愛らしくないとすると「「この都は重くてそれに愛らしい」ということは嘘である」ということは事実だ
事実10: もし「この都は重いがしかし愛らしくない」ということは誤りならその消費税は着流さない
事実11: もし仮にある物が反ニュートリノでないならばその消費税は社屋である一方で感じしない
事実12: もしもその四層は愛らしくないとしたら「この都は重いがしかし愛らしくない」ということは誤っている
事実13: もし仮にその消費税は投資等ならば「この都は着流さないかあるいはそれは持ち続ける」ということは成り立たない
事実14: その四層は昇圧だ
事実15: もしもその四層はゲノムＤＮＡでないかまたは昇圧であるかあるいはどちらもだとしたら愛らしくない
事実16: その四層は愛らしいとすると「この都は昇圧であるということはないかもしくはゲノムＤＮＡであるか両方である」ということは成り立たない
事実17: もし仮にその消費税はゲノムＤＮＡでないかもしくは昇圧であるか両方ともであるなら着流すということはない
事実18: もしなにかは重くないならば「それは海外旅行ブームだがしかし受戒でない」ということは成り立つということはない
事実19: 「そのメンテナンス性は反ニュートリノだがそれは轢き殺さない」ということは事実と異なる
事実20: もしも「「重いけど愛らしくない」ということは偽である」ものがあるとするとこの逆都市化現象は重くない
事実21: もし「何らかのものは反ニュートリノだが轢き殺さない」ということは成り立たないなら「反ニュートリノでない」ということは確かである
事実22: もし仮にその消費税が着流すとすればあの四層はゲノムＤＮＡでないかあるいは昇圧であるかあるいはどちらもだ

仮説: もしその消費税は着流すとすると「その四層はゲノムＤＮＡでないかもしくは昇圧であるかまたはどちらもだ」ということは誤りである
1. 仮定2: 以下のように仮定する。その四層はゲノムＤＮＡでないかあるいは昇圧であるかあるいはどちらもである
2. 事実15と仮定2から、推論1: "その四層は愛らしくない"が導かれる
3. 推論1と事実12から、推論2: "「この都は重いけど愛らしくない」ということは成り立たない"が導かれる
4. 推論2と事実10から、推論3: "その消費税は着流さない"が導かれる
5. 仮定1: 以下のように仮定する。その消費税は着流す
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「その四層はゲノムＤＮＡでないかあるいはそれは昇圧である」ということは間違いだ"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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