「間違え易いなら値引きしない」ものはある
fact1: もしその原生林は間違え易いし加えてスクウェアであるとすればそれは値引きする fact2: もしなにがしかのものがスクウェアだとすれば待ち焦がれる fact3: 「仮にその原生林が利用し辛いとすればその原生林は過ごし易くない」ということは確かである fact4: もしも間違え易いものはスクウェアであるとすれば値引きしない fact5: なんらかの物は青年男女であるとすると「臭くてまた投資判断だということはない」ということは成り立たない fact6: もしその原生林が待ち焦がれるならそのサイトは待ち焦がれる fact7: 仮にそのバロック様式が待ち焦がれるとすればその原生林は待ち焦がれる fact8: もしも「その烏梅は臭い一方で投資判断でない」ということは成り立つということはないとすればあの喋り方は臭い fact9: もしもその原生林は間違え易いとすれば「それは値引きする」ということは真実だ fact10: その原生林はスクウェアである fact11: 「もしその四Ｆが待ち焦がれるならそのバロック様式は待ち焦がれる」ということは正しい fact12: 仮にその半田牧場が投書ならその烏梅は青年男女だ fact13: もし仮にその原生林が使用パーツであるしかつ羞恥心であるとするとそれは待ち焦がれない fact14: もしこの喋り方は臭いならば「それは浅し」ということは成り立つ fact15: その半田牧場は仕舞い易い fact16: 間違え易いものは待ち焦がれる fact17: ヘビは流し型であるということはない fact18: 「もしも「ぎごちない」ということは誤りでないとすれば「法定繰り入れ率である」ということは間違っているということはない」ものはある fact19: とあるものが値引きするということはないとすれば間違え易いかまたはスクウェアである fact20: 仮に間違え易いものはスクウェアであるなら値引きする fact21: もしもある物が仕舞い易いとしたらそれは投書である
void -> assump1: 以下のように仮定する。その原生林は間違え易い; assump1 & fact10 -> int1: その原生林は間違え易いしスクウェアだ; fact4 -> int2: もしその原生林は間違え易くてスクウェアであるならばそれは値引きしない; int1 & int2 -> int3: その原生林は値引きするということはない; [assump1] & int3 -> int4: その原生林が間違え易いならば値引きするということはない; int4 -> hypothesis;
「仮にヘビであるならば流し型でない」物はある
fact22 -> int5: もしその原生林はヘビであるとすれば「流し型であるということはない」ということは成り立つ; int5 -> 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$ = 
void -> assump1: 以下のように仮定する。その原生林は間違え易い; assump1 & fact10 -> int1: その原生林は間違え易いしスクウェアだ; fact4 -> int2: もしその原生林は間違え易くてスクウェアであるならばそれは値引きしない; int1 & int2 -> int3: その原生林は値引きするということはない; [assump1] & int3 -> int4: その原生林が間違え易いならば値引きするということはない; int4 -> hypothesis; __PROVED__
事実1: もしその原生林は間違え易いし加えてスクウェアであるとすればそれは値引きする
事実2: もしなにがしかのものがスクウェアだとすれば待ち焦がれる
事実3: 「仮にその原生林が利用し辛いとすればその原生林は過ごし易くない」ということは確かである
事実4: もしも間違え易いものはスクウェアであるとすれば値引きしない
事実5: なんらかの物は青年男女であるとすると「臭くてまた投資判断だということはない」ということは成り立たない
事実6: もしその原生林が待ち焦がれるならそのサイトは待ち焦がれる
事実7: 仮にそのバロック様式が待ち焦がれるとすればその原生林は待ち焦がれる
事実8: もしも「その烏梅は臭い一方で投資判断でない」ということは成り立つということはないとすればあの喋り方は臭い
事実9: もしもその原生林は間違え易いとすれば「それは値引きする」ということは真実だ
事実10: その原生林はスクウェアである
事実11: 「もしその四Ｆが待ち焦がれるならそのバロック様式は待ち焦がれる」ということは正しい
事実12: 仮にその半田牧場が投書ならその烏梅は青年男女だ
事実13: もし仮にその原生林が使用パーツであるしかつ羞恥心であるとするとそれは待ち焦がれない
事実14: もしこの喋り方は臭いならば「それは浅し」ということは成り立つ
事実15: その半田牧場は仕舞い易い
事実16: 間違え易いものは待ち焦がれる
事実17: ヘビは流し型であるということはない
事実18: 「もしも「ぎごちない」ということは誤りでないとすれば「法定繰り入れ率である」ということは間違っているということはない」ものはある
事実19: とあるものが値引きするということはないとすれば間違え易いかまたはスクウェアである
事実20: 仮に間違え易いものはスクウェアであるなら値引きする
事実21: もしもある物が仕舞い易いとしたらそれは投書である

仮説: 「間違え易いなら値引きしない」ものはある
1. 仮定1: 以下のように仮定する。その原生林は間違え易い
2. 仮定1と事実10から、推論1: "その原生林は間違え易いしスクウェアだ"が導かれる
3. 事実4から、推論2: "もしその原生林は間違え易くてスクウェアであるならばそれは値引きしない"が導かれる
4. 推論1と推論2から、推論3: "その原生林は値引きするということはない"が導かれる
5. [仮定1]と推論3から、推論4: "その原生林が間違え易いならば値引きするということはない"が導かれる
6. 推論4から、仮説が導かれる

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