「仮に信じ易くないとしたら毛深くないし低しない」物はある
fact1: 「もし厭わしくないなら末恐ろしくないけど日本人らしい」ものはある fact2: もしとあるものがサファー・モスクでないとしたらつま弾かないしそれは信じ易くない fact3: もしそのエクスチェンジタスクウィザードが戦死しないとすればそれは娶れない fact4: もしも「あの居住地区は信じ易くない」ということは真実なら「煩わしくない」ということは確かだ fact5: 「情報等でないならばノーマルステッププレートだということはなくてしかも版籍奉還でない」物はある fact6: もし仮に「この短パン姿は発行すということはない」ということは本当だとすると二つ割りだが毛深いということはない fact7: 「信じ易くないなら毛深くないが低し」物はある fact8: 「仮に痛くないならば「疑わしくない」ということは成り立つ」物はある fact9: 「もしも「信じ易い」ということは正しいとしたら毛深くないしその上低しない」ものはある fact10: もしこの短パン姿が信じ易くないならそれは低しない fact11: もし仮にこの短パン姿は信じ易くないとすれば「それは毛深くなくてまた低しない」ということは成り立つ fact12: この短パン姿が信じ易くないならば毛深いけれど低しない fact13: 「もし仮に「その英字新聞はポーツマス条約だということはない」ということは正しいならその英字新聞は火葬するがしかしそれは呪わしいということはない」ということは成り立つ fact14: 「もし仮に「輝かしくない」ということは成り立つとしたら注意深くなくて乾き易い」物はある fact15: あの資生が働き難くないとするとそれは用い易くておまけに毛深くない fact16: 「もし仮に厭わしくないとすれば放線菌でない」物はある fact17: 「もし仮に悶うないとすれば警告音でないが女々しい」ものはある fact18: 仮に何かは入園しないならそれは低しないしかつ仲間らしくない fact19: 「もし信じ易いということはないならば毛深いししかも低しない」ものはある
fact11 -> hypothesis;
仮にそのバリューチェーンがサファー・モスクでないとすればそれはつま弾かないし信じ易くない
fact20 -> hypothesis;
$facts$ = fact1: 「もし厭わしくないなら末恐ろしくないけど日本人らしい」ものはある fact2: もしとあるものがサファー・モスクでないとしたらつま弾かないしそれは信じ易くない fact3: もしそのエクスチェンジタスクウィザードが戦死しないとすればそれは娶れない fact4: もしも「あの居住地区は信じ易くない」ということは真実なら「煩わしくない」ということは確かだ fact5: 「情報等でないならばノーマルステッププレートだということはなくてしかも版籍奉還でない」物はある fact6: もし仮に「この短パン姿は発行すということはない」ということは本当だとすると二つ割りだが毛深いということはない fact7: 「信じ易くないなら毛深くないが低し」物はある fact8: 「仮に痛くないならば「疑わしくない」ということは成り立つ」物はある fact9: 「もしも「信じ易い」ということは正しいとしたら毛深くないしその上低しない」ものはある fact10: もしこの短パン姿が信じ易くないならそれは低しない fact11: もし仮にこの短パン姿は信じ易くないとすれば「それは毛深くなくてまた低しない」ということは成り立つ fact12: この短パン姿が信じ易くないならば毛深いけれど低しない fact13: 「もし仮に「その英字新聞はポーツマス条約だということはない」ということは正しいならその英字新聞は火葬するがしかしそれは呪わしいということはない」ということは成り立つ fact14: 「もし仮に「輝かしくない」ということは成り立つとしたら注意深くなくて乾き易い」物はある fact15: あの資生が働き難くないとするとそれは用い易くておまけに毛深くない fact16: 「もし仮に厭わしくないとすれば放線菌でない」物はある fact17: 「もし仮に悶うないとすれば警告音でないが女々しい」ものはある fact18: 仮に何かは入園しないならそれは低しないしかつ仲間らしくない fact19: 「もし信じ易いということはないならば毛深いししかも低しない」ものはある ; $hypothesis$ = 「仮に信じ易くないとしたら毛深くないし低しない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「もし厭わしくないなら末恐ろしくないけど日本人らしい」ものはある
事実2: もしとあるものがサファー・モスクでないとしたらつま弾かないしそれは信じ易くない
事実3: もしそのエクスチェンジタスクウィザードが戦死しないとすればそれは娶れない
事実4: もしも「あの居住地区は信じ易くない」ということは真実なら「煩わしくない」ということは確かだ
事実5: 「情報等でないならばノーマルステッププレートだということはなくてしかも版籍奉還でない」物はある
事実6: もし仮に「この短パン姿は発行すということはない」ということは本当だとすると二つ割りだが毛深いということはない
事実7: 「信じ易くないなら毛深くないが低し」物はある
事実8: 「仮に痛くないならば「疑わしくない」ということは成り立つ」物はある
事実9: 「もしも「信じ易い」ということは正しいとしたら毛深くないしその上低しない」ものはある
事実10: もしこの短パン姿が信じ易くないならそれは低しない
事実11: もし仮にこの短パン姿は信じ易くないとすれば「それは毛深くなくてまた低しない」ということは成り立つ
事実12: この短パン姿が信じ易くないならば毛深いけれど低しない
事実13: 「もし仮に「その英字新聞はポーツマス条約だということはない」ということは正しいならその英字新聞は火葬するがしかしそれは呪わしいということはない」ということは成り立つ
事実14: 「もし仮に「輝かしくない」ということは成り立つとしたら注意深くなくて乾き易い」物はある
事実15: あの資生が働き難くないとするとそれは用い易くておまけに毛深くない
事実16: 「もし仮に厭わしくないとすれば放線菌でない」物はある
事実17: 「もし仮に悶うないとすれば警告音でないが女々しい」ものはある
事実18: 仮に何かは入園しないならそれは低しないしかつ仲間らしくない
事実19: 「もし信じ易いということはないならば毛深いししかも低しない」ものはある

仮説: 「仮に信じ易くないとしたら毛深くないし低しない」物はある
1. 事実11から、仮説が導かれる

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