あの身分取り扱いは気恥ずかしくない
fact1: 仮にあの指紋は御饅頭でないなら「それは判断し難いしそれにそれは御願い出来る」ということは成り立たない fact2: もしもこの金融自由化は思い浮かべないかまたはループするかまたは両方であるとしたらそれは御饅頭でない fact3: あの指紋が御願い出来るということはないなら繋げない fact4: 仮に何かはエロいならば「それは御願い出来なくてかつそれは繋げない」ということは成り立たない fact5: もしもあの身分取り扱いが煤払いでないけれどそれは繋げるなら「あの指紋は気恥ずかしくない」ということは本当だ fact6: 仮にこの金融自由化が及び難いということはないけれど求めるとすればその病歴聴取は煤払いでない fact7: もし仮にこの金融自由化が及び難いし更に求めるとすればその病歴聴取は煤払いでない fact8: あの身分取り扱いは繋げない fact9: もしもあの指紋が繋げないとすればその病歴聴取はエロくない fact10: あの指紋は御饅頭でない fact11: もしその病歴聴取が繋げればあの身分取り扱いは繋げる fact12: 「その病歴聴取がエロいということはないしさらに煤払いでないならばあの身分取り扱いは気恥ずかしくない」ということは真実である fact13: もし「「あの身分取り扱いは御願い出来ないしかつ繋げない」ということは間違っている」ということは本当であるとすればその病歴聴取は御願い出来ない fact14: この金融自由化は気恥ずかしくない fact15: もし仮に「気恥ずかしくない」物はあるとしたら「あの身分取り扱いは煤払いであるしさらに及び難い」ということは成り立たない fact16: 仮にある物が御願い出来ないとしたら繋げない fact17: 「あの指紋は気恥ずかしいし御饅頭だ」ということは間違っている fact18: 仮に「とある物は判断し難いしさらに御願い出来る」ということは嘘だとすればそれは繋げない fact19: この金融自由化は及び難いということはない fact20: あの身分取り扱いは求めない fact21: 仮に「何かは御饅頭だし及び難い」ということは誤っているとすれば気恥ずかしくない fact22: この金融自由化は及び難くないけど求める fact23: もしもこの金融自由化が煤払いでないならその病歴聴取は繋げる fact24: もしこの金融自由化は御饅頭だということはないとすると「及び難くない一方で求める」ということは間違いだ
fact18 -> int1: 仮に「あの指紋は判断し難くて御願い出来る」ということは成り立たないなら繋げない; fact10 & fact1 -> int2: 「「あの指紋は判断し難くて御願い出来る」ということは誤っている」ということは事実である; int1 & int2 -> int3: あの指紋は繋げない; int3 & fact9 -> int4: その病歴聴取はエロくない; fact22 & fact6 -> int5: その病歴聴取は煤払いでない; int4 & int5 -> int6: その病歴聴取はエロくないししかも煤払いだということはない; int6 & fact12 -> hypothesis;
その病歴聴取は御願い出来ない
fact27 -> int7: 仮にあの身分取り扱いはエロいとすれば「それは御願い出来ないしその上繋げない」ということは嘘だ; fact26 -> int8: ある物は気恥ずかしくない; int8 & fact25 -> int9: 「あの身分取り扱いは煤払いでそれは及び難い」ということは偽である;
$facts$ = fact1: 仮にあの指紋は御饅頭でないなら「それは判断し難いしそれにそれは御願い出来る」ということは成り立たない fact2: もしもこの金融自由化は思い浮かべないかまたはループするかまたは両方であるとしたらそれは御饅頭でない fact3: あの指紋が御願い出来るということはないなら繋げない fact4: 仮に何かはエロいならば「それは御願い出来なくてかつそれは繋げない」ということは成り立たない fact5: もしもあの身分取り扱いが煤払いでないけれどそれは繋げるなら「あの指紋は気恥ずかしくない」ということは本当だ fact6: 仮にこの金融自由化が及び難いということはないけれど求めるとすればその病歴聴取は煤払いでない fact7: もし仮にこの金融自由化が及び難いし更に求めるとすればその病歴聴取は煤払いでない fact8: あの身分取り扱いは繋げない fact9: もしもあの指紋が繋げないとすればその病歴聴取はエロくない fact10: あの指紋は御饅頭でない fact11: もしその病歴聴取が繋げればあの身分取り扱いは繋げる fact12: 「その病歴聴取がエロいということはないしさらに煤払いでないならばあの身分取り扱いは気恥ずかしくない」ということは真実である fact13: もし「「あの身分取り扱いは御願い出来ないしかつ繋げない」ということは間違っている」ということは本当であるとすればその病歴聴取は御願い出来ない fact14: この金融自由化は気恥ずかしくない fact15: もし仮に「気恥ずかしくない」物はあるとしたら「あの身分取り扱いは煤払いであるしさらに及び難い」ということは成り立たない fact16: 仮にある物が御願い出来ないとしたら繋げない fact17: 「あの指紋は気恥ずかしいし御饅頭だ」ということは間違っている fact18: 仮に「とある物は判断し難いしさらに御願い出来る」ということは嘘だとすればそれは繋げない fact19: この金融自由化は及び難いということはない fact20: あの身分取り扱いは求めない fact21: 仮に「何かは御饅頭だし及び難い」ということは誤っているとすれば気恥ずかしくない fact22: この金融自由化は及び難くないけど求める fact23: もしもこの金融自由化が煤払いでないならその病歴聴取は繋げる fact24: もしこの金融自由化は御饅頭だということはないとすると「及び難くない一方で求める」ということは間違いだ ; $hypothesis$ = あの身分取り扱いは気恥ずかしくない ; $proof$ = 
fact18 -> int1: 仮に「あの指紋は判断し難くて御願い出来る」ということは成り立たないなら繋げない; fact10 & fact1 -> int2: 「「あの指紋は判断し難くて御願い出来る」ということは誤っている」ということは事実である; int1 & int2 -> int3: あの指紋は繋げない; int3 & fact9 -> int4: その病歴聴取はエロくない; fact22 & fact6 -> int5: その病歴聴取は煤払いでない; int4 & int5 -> int6: その病歴聴取はエロくないししかも煤払いだということはない; int6 & fact12 -> hypothesis; __PROVED__
事実1: 仮にあの指紋は御饅頭でないなら「それは判断し難いしそれにそれは御願い出来る」ということは成り立たない
事実2: もしもこの金融自由化は思い浮かべないかまたはループするかまたは両方であるとしたらそれは御饅頭でない
事実3: あの指紋が御願い出来るということはないなら繋げない
事実4: 仮に何かはエロいならば「それは御願い出来なくてかつそれは繋げない」ということは成り立たない
事実5: もしもあの身分取り扱いが煤払いでないけれどそれは繋げるなら「あの指紋は気恥ずかしくない」ということは本当だ
事実6: 仮にこの金融自由化が及び難いということはないけれど求めるとすればその病歴聴取は煤払いでない
事実7: もし仮にこの金融自由化が及び難いし更に求めるとすればその病歴聴取は煤払いでない
事実8: あの身分取り扱いは繋げない
事実9: もしもあの指紋が繋げないとすればその病歴聴取はエロくない
事実10: あの指紋は御饅頭でない
事実11: もしその病歴聴取が繋げればあの身分取り扱いは繋げる
事実12: 「その病歴聴取がエロいということはないしさらに煤払いでないならばあの身分取り扱いは気恥ずかしくない」ということは真実である
事実13: もし「「あの身分取り扱いは御願い出来ないしかつ繋げない」ということは間違っている」ということは本当であるとすればその病歴聴取は御願い出来ない
事実14: この金融自由化は気恥ずかしくない
事実15: もし仮に「気恥ずかしくない」物はあるとしたら「あの身分取り扱いは煤払いであるしさらに及び難い」ということは成り立たない
事実16: 仮にある物が御願い出来ないとしたら繋げない
事実17: 「あの指紋は気恥ずかしいし御饅頭だ」ということは間違っている
事実18: 仮に「とある物は判断し難いしさらに御願い出来る」ということは嘘だとすればそれは繋げない
事実19: この金融自由化は及び難いということはない
事実20: あの身分取り扱いは求めない
事実21: 仮に「何かは御饅頭だし及び難い」ということは誤っているとすれば気恥ずかしくない
事実22: この金融自由化は及び難くないけど求める
事実23: もしもこの金融自由化が煤払いでないならその病歴聴取は繋げる
事実24: もしこの金融自由化は御饅頭だということはないとすると「及び難くない一方で求める」ということは間違いだ

仮説: あの身分取り扱いは気恥ずかしくない
1. 事実18から、推論1: "仮に「あの指紋は判断し難くて御願い出来る」ということは成り立たないなら繋げない"が導かれる
2. 事実10と事実1から、推論2: "「「あの指紋は判断し難くて御願い出来る」ということは誤っている」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの指紋は繋げない"が導かれる
4. 推論3と事実9から、推論4: "その病歴聴取はエロくない"が導かれる
5. 事実22と事実6から、推論5: "その病歴聴取は煤払いでない"が導かれる
6. 推論4と推論5から、推論6: "その病歴聴取はエロくないししかも煤払いだということはない"が導かれる
7. 推論6と事実12から、仮説が導かれる

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