「もしも「忍耐強いということはないかもしくは投資出来ないかどちらもである」ということは誤りであるとしたら思し」物はある
fact1: もし「あるものは投資出来ないかそれはちやほやしないか両方である」ということは嘘であるとすれば白銀屋である fact2: 「仮に「忍耐強くないかまたは投資出来るか両方ともである」ということは間違いであるとすると「思し」ということは誤りでない」ものはある fact3: もし仮に「「なにかは忍耐強くないかそれは投資出来るかもしくは両方である」ということは確かである」ということは間違っているとしたらそれは思し fact4: もし仮に「何かは思しないかまたはそれは固くないかもしくは両方ともだ」ということは成り立たないとしたら消費増だ fact5: 「もし仮に「忍耐強いかあるいは投資出来ない」ということは事実と異なれば思し」物はある fact6: もし仮に何らかの物が忍耐強くないかもしくは投資出来るということはないかどちらもだとすればそれは思し fact7: もしも「この道徳多元主義は忍耐強いかまたは投資出来ないかまたはどちらもである」ということは間違っているとすれば思し fact8: 「「消化し難くないかまたは合わせ辛くない」ということは間違いだとしたら「不開示情報だ」ということは成り立つ」物はある fact9: 「もし忍耐強くないか投資出来ないかまたは両方であるなら思し」物はある fact10: 仮に「なんらかの物は忍耐強くないかあるいは投資出来るということはないかあるいは両方だ」ということは成り立たないならばそれは思し fact11: もし仮に「その急降下は打でないかもしくはそれは緩くない」ということは成り立つということはないとすると思し fact12: もし「「この道徳多元主義は忍耐強くないかまたは投資出来るかもしくは両方だ」ということは成り立たない」ということは真実であるとしたらそれは思し fact13: 「とあるものは忍耐強いかもしくはそれは投資出来ないかまたは両方である」ということは誤りだとすればそれは思し
fact10 -> int1: 「この道徳多元主義は忍耐強いということはないか投資出来ないかどちらもだ」ということは嘘であるとすると思し; int1 -> hypothesis;
もし仮に「この鎌倉幕府は投資出来ないかまたはちやほやしないかあるいはどちらもだ」ということは成り立つということはないとしたらそれは白銀屋だ
fact14 -> hypothesis;
$facts$ = fact1: もし「あるものは投資出来ないかそれはちやほやしないか両方である」ということは嘘であるとすれば白銀屋である fact2: 「仮に「忍耐強くないかまたは投資出来るか両方ともである」ということは間違いであるとすると「思し」ということは誤りでない」ものはある fact3: もし仮に「「なにかは忍耐強くないかそれは投資出来るかもしくは両方である」ということは確かである」ということは間違っているとしたらそれは思し fact4: もし仮に「何かは思しないかまたはそれは固くないかもしくは両方ともだ」ということは成り立たないとしたら消費増だ fact5: 「もし仮に「忍耐強いかあるいは投資出来ない」ということは事実と異なれば思し」物はある fact6: もし仮に何らかの物が忍耐強くないかもしくは投資出来るということはないかどちらもだとすればそれは思し fact7: もしも「この道徳多元主義は忍耐強いかまたは投資出来ないかまたはどちらもである」ということは間違っているとすれば思し fact8: 「「消化し難くないかまたは合わせ辛くない」ということは間違いだとしたら「不開示情報だ」ということは成り立つ」物はある fact9: 「もし忍耐強くないか投資出来ないかまたは両方であるなら思し」物はある fact10: 仮に「なんらかの物は忍耐強くないかあるいは投資出来るということはないかあるいは両方だ」ということは成り立たないならばそれは思し fact11: もし仮に「その急降下は打でないかもしくはそれは緩くない」ということは成り立つということはないとすると思し fact12: もし「「この道徳多元主義は忍耐強くないかまたは投資出来るかもしくは両方だ」ということは成り立たない」ということは真実であるとしたらそれは思し fact13: 「とあるものは忍耐強いかもしくはそれは投資出来ないかまたは両方である」ということは誤りだとすればそれは思し ; $hypothesis$ = 「もしも「忍耐強いということはないかもしくは投資出来ないかどちらもである」ということは誤りであるとしたら思し」物はある ; $proof$ = 
fact10 -> int1: 「この道徳多元主義は忍耐強いということはないか投資出来ないかどちらもだ」ということは嘘であるとすると思し; int1 -> hypothesis; __PROVED__
事実1: もし「あるものは投資出来ないかそれはちやほやしないか両方である」ということは嘘であるとすれば白銀屋である
事実2: 「仮に「忍耐強くないかまたは投資出来るか両方ともである」ということは間違いであるとすると「思し」ということは誤りでない」ものはある
事実3: もし仮に「「なにかは忍耐強くないかそれは投資出来るかもしくは両方である」ということは確かである」ということは間違っているとしたらそれは思し
事実4: もし仮に「何かは思しないかまたはそれは固くないかもしくは両方ともだ」ということは成り立たないとしたら消費増だ
事実5: 「もし仮に「忍耐強いかあるいは投資出来ない」ということは事実と異なれば思し」物はある
事実6: もし仮に何らかの物が忍耐強くないかもしくは投資出来るということはないかどちらもだとすればそれは思し
事実7: もしも「この道徳多元主義は忍耐強いかまたは投資出来ないかまたはどちらもである」ということは間違っているとすれば思し
事実8: 「「消化し難くないかまたは合わせ辛くない」ということは間違いだとしたら「不開示情報だ」ということは成り立つ」物はある
事実9: 「もし忍耐強くないか投資出来ないかまたは両方であるなら思し」物はある
事実10: 仮に「なんらかの物は忍耐強くないかあるいは投資出来るということはないかあるいは両方だ」ということは成り立たないならばそれは思し
事実11: もし仮に「その急降下は打でないかもしくはそれは緩くない」ということは成り立つということはないとすると思し
事実12: もし「「この道徳多元主義は忍耐強くないかまたは投資出来るかもしくは両方だ」ということは成り立たない」ということは真実であるとしたらそれは思し
事実13: 「とあるものは忍耐強いかもしくはそれは投資出来ないかまたは両方である」ということは誤りだとすればそれは思し

仮説: 「もしも「忍耐強いということはないかもしくは投資出来ないかどちらもである」ということは誤りであるとしたら思し」物はある
1. 事実10から、推論1: "「この道徳多元主義は忍耐強いということはないか投資出来ないかどちらもだ」ということは嘘であるとすると思し"が導かれる
2. 推論1から、仮説が導かれる

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