「もしも「崖伝いだ」ということは成り立つとすると優勝出来ないか起き易いかもしくはどちらもな」物はある
fact1: もし仮になんらかの物は崖伝いでないとするとそれは優勝出来ないか可愛らしいかあるいは両方ともである fact2: もしあの奥はし掛けないししかも崖伝いでないとするとそのポピュリズムは崖伝いでない fact3: 「何かは崖伝いであるけどそれはトップ・ダウンテストでない」ということは成り立たないとすると崖伝いでない fact4: 深まりは少なくない fact5: あの奥は読み難いししかも運転し易い fact6: あの奥は読み難くないか御世話である fact7: もしもこの運用プロセスは転た寝するということはないなら「あの続報は崖伝いだけれどトップ・ダウンテストでない」ということは誤っている fact8: もしもあの奥がざわざわするなら弁ぜない fact9: 少ないということはないものはし掛けないし更に起き易くない fact10: あの奥は入り易い fact11: あの奥はざわざわするかまたは酔っ払う fact12: あの奥は崖伝いでないかもしくは転た寝するかどちらもである fact13: もしもなにかはし掛けるしかつ崖伝いだとすれば「優勝出来ない」ということは確かである fact14: 仮にあの奥が読み難くないかまたは御世話であるかもしくは両方ともであるとしたらそれはし掛ける fact15: あの奥は見え辛くないかあるいは崖伝いであるかまたは両方ともだ fact16: 仮に「あの続報は崖伝いでない」ということは事実と異ならないとするとあの奥は崖伝いでない fact17: 「あの奥は優勝出来る」ということは偽でない fact18: もしもあの奥が弁ぜないならそれが深まりだしさらに当座貸し越し契約である fact19: 仮にあの奥は御世話だとしたら「広いかそれは気付き易いかまたは両方だ」ということは偽でない fact20: あの奥は読み難いかあるいは御世話だ fact21: あの奥は優勝出来ないか遷都するかまたは両方ともだ
fact14 & fact6 -> int1: 「あの奥はし掛ける」ということは本当だ; void -> assump1: 以下のように仮定する。あの奥は崖伝いである; int1 & assump1 -> int2: あの奥はし掛けるしその上崖伝いだ; fact13 -> int3: もしもあの奥はし掛けるしかつ崖伝いであるとすればそれは優勝出来ない; int2 & int3 -> int4: あの奥は優勝出来るということはない; int4 -> int5: あの奥は優勝出来ないかあるいは起き易いかまたはどちらもだ; [assump1] & int5 -> int6: もしあの奥が崖伝いだとしたらそれは優勝出来るということはないか起き易い; int6 -> hypothesis;
そのポピュリズムは優勝出来ないかもしくは可愛らしいか両方である
fact22 -> int7: 仮にそのポピュリズムが崖伝いでないとすればそれは優勝出来ないかまたはそれは可愛らしい; fact28 -> int8: もしもあの奥が少なくないとするとそれはし掛けないし起き易くない; fact29 -> int9: もしあの奥は深まりだとすれば「少ない」ということは成り立たない; fact30 -> int10: もし「あの続報は崖伝いであるけどトップ・ダウンテストでない」ということは成り立たないとすれば崖伝いでない;
$facts$ = fact1: もし仮になんらかの物は崖伝いでないとするとそれは優勝出来ないか可愛らしいかあるいは両方ともである fact2: もしあの奥はし掛けないししかも崖伝いでないとするとそのポピュリズムは崖伝いでない fact3: 「何かは崖伝いであるけどそれはトップ・ダウンテストでない」ということは成り立たないとすると崖伝いでない fact4: 深まりは少なくない fact5: あの奥は読み難いししかも運転し易い fact6: あの奥は読み難くないか御世話である fact7: もしもこの運用プロセスは転た寝するということはないなら「あの続報は崖伝いだけれどトップ・ダウンテストでない」ということは誤っている fact8: もしもあの奥がざわざわするなら弁ぜない fact9: 少ないということはないものはし掛けないし更に起き易くない fact10: あの奥は入り易い fact11: あの奥はざわざわするかまたは酔っ払う fact12: あの奥は崖伝いでないかもしくは転た寝するかどちらもである fact13: もしもなにかはし掛けるしかつ崖伝いだとすれば「優勝出来ない」ということは確かである fact14: 仮にあの奥が読み難くないかまたは御世話であるかもしくは両方ともであるとしたらそれはし掛ける fact15: あの奥は見え辛くないかあるいは崖伝いであるかまたは両方ともだ fact16: 仮に「あの続報は崖伝いでない」ということは事実と異ならないとするとあの奥は崖伝いでない fact17: 「あの奥は優勝出来る」ということは偽でない fact18: もしもあの奥が弁ぜないならそれが深まりだしさらに当座貸し越し契約である fact19: 仮にあの奥は御世話だとしたら「広いかそれは気付き易いかまたは両方だ」ということは偽でない fact20: あの奥は読み難いかあるいは御世話だ fact21: あの奥は優勝出来ないか遷都するかまたは両方ともだ ; $hypothesis$ = 「もしも「崖伝いだ」ということは成り立つとすると優勝出来ないか起き易いかもしくはどちらもな」物はある ; $proof$ = 
fact14 & fact6 -> int1: 「あの奥はし掛ける」ということは本当だ; void -> assump1: 以下のように仮定する。あの奥は崖伝いである; int1 & assump1 -> int2: あの奥はし掛けるしその上崖伝いだ; fact13 -> int3: もしもあの奥はし掛けるしかつ崖伝いであるとすればそれは優勝出来ない; int2 & int3 -> int4: あの奥は優勝出来るということはない; int4 -> int5: あの奥は優勝出来ないかあるいは起き易いかまたはどちらもだ; [assump1] & int5 -> int6: もしあの奥が崖伝いだとしたらそれは優勝出来るということはないか起き易い; int6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は崖伝いでないとするとそれは優勝出来ないか可愛らしいかあるいは両方ともである
事実2: もしあの奥はし掛けないししかも崖伝いでないとするとそのポピュリズムは崖伝いでない
事実3: 「何かは崖伝いであるけどそれはトップ・ダウンテストでない」ということは成り立たないとすると崖伝いでない
事実4: 深まりは少なくない
事実5: あの奥は読み難いししかも運転し易い
事実6: あの奥は読み難くないか御世話である
事実7: もしもこの運用プロセスは転た寝するということはないなら「あの続報は崖伝いだけれどトップ・ダウンテストでない」ということは誤っている
事実8: もしもあの奥がざわざわするなら弁ぜない
事実9: 少ないということはないものはし掛けないし更に起き易くない
事実10: あの奥は入り易い
事実11: あの奥はざわざわするかまたは酔っ払う
事実12: あの奥は崖伝いでないかもしくは転た寝するかどちらもである
事実13: もしもなにかはし掛けるしかつ崖伝いだとすれば「優勝出来ない」ということは確かである
事実14: 仮にあの奥が読み難くないかまたは御世話であるかもしくは両方ともであるとしたらそれはし掛ける
事実15: あの奥は見え辛くないかあるいは崖伝いであるかまたは両方ともだ
事実16: 仮に「あの続報は崖伝いでない」ということは事実と異ならないとするとあの奥は崖伝いでない
事実17: 「あの奥は優勝出来る」ということは偽でない
事実18: もしもあの奥が弁ぜないならそれが深まりだしさらに当座貸し越し契約である
事実19: 仮にあの奥は御世話だとしたら「広いかそれは気付き易いかまたは両方だ」ということは偽でない
事実20: あの奥は読み難いかあるいは御世話だ
事実21: あの奥は優勝出来ないか遷都するかまたは両方ともだ

仮説: 「もしも「崖伝いだ」ということは成り立つとすると優勝出来ないか起き易いかもしくはどちらもな」物はある
1. 事実14と事実6から、推論1: "「あの奥はし掛ける」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。あの奥は崖伝いである
3. 推論1と仮定1から、推論2: "あの奥はし掛けるしその上崖伝いだ"が導かれる
4. 事実13から、推論3: "もしもあの奥はし掛けるしかつ崖伝いであるとすればそれは優勝出来ない"が導かれる
5. 推論2と推論3から、推論4: "あの奥は優勝出来るということはない"が導かれる
6. 推論4から、推論5: "あの奥は優勝出来ないかあるいは起き易いかまたはどちらもだ"が導かれる
7. [仮定1]と推論5から、推論6: "もしあの奥が崖伝いだとしたらそれは優勝出来るということはないか起き易い"が導かれる
8. 推論6から、仮説が導かれる

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