もしあの軸線はルータ化するとすれば「このカルフールは販売代金でないしさらにそれは見過ごし難くない」ということは成り立つということはない
fact1: もし仮に何らかの物はアンペアであるならば「それは販売代金でないしまた見過ごし難くない」ということは誤りだ fact2: もし仮になんらかのものは見過ごし難いならば「それはルータ化しないがしかし販売代金だ」ということは成り立たない fact3: もしもあの軸線がルータ化するとすればこのカルフールは販売代金でないしそれは見過ごし難くない fact4: このカルフールは販売代金でないしその上見過ごし難くない fact5: もし仮にこのカルフールはアンペアであるならば「それは見過ごし難くないしそれはルータ化しない」ということは成り立たない fact6: 「アンペアは販売代金でないしそれに見過ごし難いということはない」ということは成り立つ fact7: もしもなにかは単年度黒字化であるとしたら「榎社だけれど粉砕しない」ということは成り立たない fact8: あの軸線はルータ化するとすると「このカルフールはアンペアである」ということは正しい fact9: このカルフールがアンペアなら販売代金でないしかつ見過ごし難くない fact10: もしもこのカルフールはルータ化するとすれば「あの軸線は販売代金である」ということは事実である fact11: 「このカルフールはアンペアである」ということは本当であるならば「販売代金であるしそれは見過ごし難くない」ということは間違いである
void -> assump1: 以下のように仮定する。あの軸線はルータ化する; fact8 & assump1 -> int1: このカルフールはアンペアだ; fact1 -> int2: もしこのカルフールはアンペアであるとしたら「それは販売代金でなくて見過ごし難くない」ということは偽だ; int1 & int2 -> int3: 「このカルフールは販売代金でなくてそれは見過ごし難いということはない」ということは偽である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物はアンペアであるならば「それは販売代金でないしまた見過ごし難くない」ということは誤りだ fact2: もし仮になんらかのものは見過ごし難いならば「それはルータ化しないがしかし販売代金だ」ということは成り立たない fact3: もしもあの軸線がルータ化するとすればこのカルフールは販売代金でないしそれは見過ごし難くない fact4: このカルフールは販売代金でないしその上見過ごし難くない fact5: もし仮にこのカルフールはアンペアであるならば「それは見過ごし難くないしそれはルータ化しない」ということは成り立たない fact6: 「アンペアは販売代金でないしそれに見過ごし難いということはない」ということは成り立つ fact7: もしもなにかは単年度黒字化であるとしたら「榎社だけれど粉砕しない」ということは成り立たない fact8: あの軸線はルータ化するとすると「このカルフールはアンペアである」ということは正しい fact9: このカルフールがアンペアなら販売代金でないしかつ見過ごし難くない fact10: もしもこのカルフールはルータ化するとすれば「あの軸線は販売代金である」ということは事実である fact11: 「このカルフールはアンペアである」ということは本当であるならば「販売代金であるしそれは見過ごし難くない」ということは間違いである ; $hypothesis$ = もしあの軸線はルータ化するとすれば「このカルフールは販売代金でないしさらにそれは見過ごし難くない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの軸線はルータ化する; fact8 & assump1 -> int1: このカルフールはアンペアだ; fact1 -> int2: もしこのカルフールはアンペアであるとしたら「それは販売代金でなくて見過ごし難くない」ということは偽だ; int1 & int2 -> int3: 「このカルフールは販売代金でなくてそれは見過ごし難いということはない」ということは偽である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物はアンペアであるならば「それは販売代金でないしまた見過ごし難くない」ということは誤りだ
事実2: もし仮になんらかのものは見過ごし難いならば「それはルータ化しないがしかし販売代金だ」ということは成り立たない
事実3: もしもあの軸線がルータ化するとすればこのカルフールは販売代金でないしそれは見過ごし難くない
事実4: このカルフールは販売代金でないしその上見過ごし難くない
事実5: もし仮にこのカルフールはアンペアであるならば「それは見過ごし難くないしそれはルータ化しない」ということは成り立たない
事実6: 「アンペアは販売代金でないしそれに見過ごし難いということはない」ということは成り立つ
事実7: もしもなにかは単年度黒字化であるとしたら「榎社だけれど粉砕しない」ということは成り立たない
事実8: あの軸線はルータ化するとすると「このカルフールはアンペアである」ということは正しい
事実9: このカルフールがアンペアなら販売代金でないしかつ見過ごし難くない
事実10: もしもこのカルフールはルータ化するとすれば「あの軸線は販売代金である」ということは事実である
事実11: 「このカルフールはアンペアである」ということは本当であるならば「販売代金であるしそれは見過ごし難くない」ということは間違いである

仮説: もしあの軸線はルータ化するとすれば「このカルフールは販売代金でないしさらにそれは見過ごし難くない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの軸線はルータ化する
2. 事実8と仮定1から、推論1: "このカルフールはアンペアだ"が導かれる
3. 事実1から、推論2: "もしこのカルフールはアンペアであるとしたら「それは販売代金でなくて見過ごし難くない」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "「このカルフールは販売代金でなくてそれは見過ごし難いということはない」ということは偽である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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