もしあの地図Ｐが心地良いならばその革鞘は旧正月だ
fact1: 「もし「あの地図Ｐは抜き難くないけど入力する」ということは成り立たないとすればその革鞘は連係しない」ということは成り立つ fact2: 「とある物は脱退しない」ということは事実であるとすると賢い fact3: その革鞘は心地良いということはない fact4: もし仮にあの地図Ｐが抜き難いとすればあの革鞘は連係しない fact5: もし何らかのものはインポートし為さるなら「耐え難くないしまたそれは状況証拠である」ということは間違っている fact6: その革鞘は入力する fact7: もしもあの地図Ｐは心地良いとすれば「抜き難くてさらにそれは入力する」ということは成り立たない fact8: 「あるものは心地良い」ということは正しいならば「抜き難くない一方で入力する」ということは偽である fact9: 仮になんらかのものが成され易くないならば狙い易い fact10: あの地図Ｐは連係する fact11: 仮になにがしかのものが連係しないならば旧正月だ fact12: もし仮に「その革鞘は旧正月である」ということは真実であるとすると「心地良くなくてその上それは入力する」ということは嘘だ fact13: 「あの地図Ｐは抜き難いしそれにそれは入力する」ということは誤りである fact14: もしもこの動作状況は盛り上げないとすれば「それは連係する」ということは成り立つ fact15: 「その革鞘は心地良いということはないがしかし旧正月である」ということは偽である fact16: もし仮にその革鞘が心地良いならあの地図Ｐは旧正月である fact17: 「「あの地図Ｐは心地良くない」ということは間違っている」ということは誤りでないとすればその革鞘は入力する fact18: なにがしかのものは心地良いとしたら「それは抜き難いし更に入力する」ということは間違っている
fact8 -> int1: もし仮にあの地図Ｐは心地良いならば「抜き難くないが入力する」ということは成り立たない; void -> assump1: 以下のように仮定する。あの地図Ｐは心地良い; int1 & assump1 -> int2: 「あの地図Ｐは抜き難くないけれどそれは入力する」ということは嘘である; int2 & fact1 -> int3: その革鞘は連係するということはない; fact11 -> int4: もしその革鞘は連係しないとしたら「旧正月だ」ということは間違っていない; int3 & int4 -> int5: その革鞘は旧正月である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 「もし「あの地図Ｐは抜き難くないけど入力する」ということは成り立たないとすればその革鞘は連係しない」ということは成り立つ fact2: 「とある物は脱退しない」ということは事実であるとすると賢い fact3: その革鞘は心地良いということはない fact4: もし仮にあの地図Ｐが抜き難いとすればあの革鞘は連係しない fact5: もし何らかのものはインポートし為さるなら「耐え難くないしまたそれは状況証拠である」ということは間違っている fact6: その革鞘は入力する fact7: もしもあの地図Ｐは心地良いとすれば「抜き難くてさらにそれは入力する」ということは成り立たない fact8: 「あるものは心地良い」ということは正しいならば「抜き難くない一方で入力する」ということは偽である fact9: 仮になんらかのものが成され易くないならば狙い易い fact10: あの地図Ｐは連係する fact11: 仮になにがしかのものが連係しないならば旧正月だ fact12: もし仮に「その革鞘は旧正月である」ということは真実であるとすると「心地良くなくてその上それは入力する」ということは嘘だ fact13: 「あの地図Ｐは抜き難いしそれにそれは入力する」ということは誤りである fact14: もしもこの動作状況は盛り上げないとすれば「それは連係する」ということは成り立つ fact15: 「その革鞘は心地良いということはないがしかし旧正月である」ということは偽である fact16: もし仮にその革鞘が心地良いならあの地図Ｐは旧正月である fact17: 「「あの地図Ｐは心地良くない」ということは間違っている」ということは誤りでないとすればその革鞘は入力する fact18: なにがしかのものは心地良いとしたら「それは抜き難いし更に入力する」ということは間違っている ; $hypothesis$ = もしあの地図Ｐが心地良いならばその革鞘は旧正月だ ; $proof$ = 
fact8 -> int1: もし仮にあの地図Ｐは心地良いならば「抜き難くないが入力する」ということは成り立たない; void -> assump1: 以下のように仮定する。あの地図Ｐは心地良い; int1 & assump1 -> int2: 「あの地図Ｐは抜き難くないけれどそれは入力する」ということは嘘である; int2 & fact1 -> int3: その革鞘は連係するということはない; fact11 -> int4: もしその革鞘は連係しないとしたら「旧正月だ」ということは間違っていない; int3 & int4 -> int5: その革鞘は旧正月である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「もし「あの地図Ｐは抜き難くないけど入力する」ということは成り立たないとすればその革鞘は連係しない」ということは成り立つ
事実2: 「とある物は脱退しない」ということは事実であるとすると賢い
事実3: その革鞘は心地良いということはない
事実4: もし仮にあの地図Ｐが抜き難いとすればあの革鞘は連係しない
事実5: もし何らかのものはインポートし為さるなら「耐え難くないしまたそれは状況証拠である」ということは間違っている
事実6: その革鞘は入力する
事実7: もしもあの地図Ｐは心地良いとすれば「抜き難くてさらにそれは入力する」ということは成り立たない
事実8: 「あるものは心地良い」ということは正しいならば「抜き難くない一方で入力する」ということは偽である
事実9: 仮になんらかのものが成され易くないならば狙い易い
事実10: あの地図Ｐは連係する
事実11: 仮になにがしかのものが連係しないならば旧正月だ
事実12: もし仮に「その革鞘は旧正月である」ということは真実であるとすると「心地良くなくてその上それは入力する」ということは嘘だ
事実13: 「あの地図Ｐは抜き難いしそれにそれは入力する」ということは誤りである
事実14: もしもこの動作状況は盛り上げないとすれば「それは連係する」ということは成り立つ
事実15: 「その革鞘は心地良いということはないがしかし旧正月である」ということは偽である
事実16: もし仮にその革鞘が心地良いならあの地図Ｐは旧正月である
事実17: 「「あの地図Ｐは心地良くない」ということは間違っている」ということは誤りでないとすればその革鞘は入力する
事実18: なにがしかのものは心地良いとしたら「それは抜き難いし更に入力する」ということは間違っている

仮説: もしあの地図Ｐが心地良いならばその革鞘は旧正月だ
1. 事実8から、推論1: "もし仮にあの地図Ｐは心地良いならば「抜き難くないが入力する」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの地図Ｐは心地良い
3. 推論1と仮定1から、推論2: "「あの地図Ｐは抜き難くないけれどそれは入力する」ということは嘘である"が導かれる
4. 推論2と事実1から、推論3: "その革鞘は連係するということはない"が導かれる
5. 事実11から、推論4: "もしその革鞘は連係しないとしたら「旧正月だ」ということは間違っていない"が導かれる
6. 推論3と推論4から、推論5: "その革鞘は旧正月である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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