もし仮にあの木版画集が常套手段でないとするとこのジョッキは地下深くないし恭しいということはない
fact1: もし仮にこの揮毫が照れ臭いならばあの木版画集は常套手段だ fact2: あの木版画集が真面目さでないならばあのジョッキが地下深くないしさらにそれは常套手段でない fact3: この揮毫は常套手段であるかもしくは真面目さだ fact4: 「仮に「あの木版画集はすーごくない」ということは正しいならあの木版画集は常套手段だ」ということは確かである fact5: 仮にこの揮毫が地下深くないとするとこのジョッキは地下深くないし加えて恭しくない fact6: このジョッキは真面目さだということはない fact7: もしもこの揮毫が地下深いかそれは真面目さでないかあるいは両方であるとすれば「それは照れ臭い」ということは誤りでない fact8: このジョッキは地下深くない fact9: 「この揮毫は恭しくない」ということは成り立つ fact10: この揮毫が地下深くないとしたらあの木版画集は地下深くないが真面目さである
void -> assump1: 以下のように仮定する。「この揮毫は地下深い」ということは確かである; assump1 -> int1: この揮毫は地下深いかまたはそれは真面目さでない; int1 & fact7 -> int2: この揮毫は照れ臭い; int2 & fact1 -> int3: あの木版画集は常套手段である; void -> assump2: 以下のように仮定する。あの木版画集は常套手段でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この揮毫は地下深いということはない; int5 & fact5 -> int6: このジョッキは地下深くなくて恭しいということはない; [assump2] & int6 -> hypothesis;
$facts$ = fact1: もし仮にこの揮毫が照れ臭いならばあの木版画集は常套手段だ fact2: あの木版画集が真面目さでないならばあのジョッキが地下深くないしさらにそれは常套手段でない fact3: この揮毫は常套手段であるかもしくは真面目さだ fact4: 「仮に「あの木版画集はすーごくない」ということは正しいならあの木版画集は常套手段だ」ということは確かである fact5: 仮にこの揮毫が地下深くないとするとこのジョッキは地下深くないし加えて恭しくない fact6: このジョッキは真面目さだということはない fact7: もしもこの揮毫が地下深いかそれは真面目さでないかあるいは両方であるとすれば「それは照れ臭い」ということは誤りでない fact8: このジョッキは地下深くない fact9: 「この揮毫は恭しくない」ということは成り立つ fact10: この揮毫が地下深くないとしたらあの木版画集は地下深くないが真面目さである ; $hypothesis$ = もし仮にあの木版画集が常套手段でないとするとこのジョッキは地下深くないし恭しいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この揮毫は地下深い」ということは確かである; assump1 -> int1: この揮毫は地下深いかまたはそれは真面目さでない; int1 & fact7 -> int2: この揮毫は照れ臭い; int2 & fact1 -> int3: あの木版画集は常套手段である; void -> assump2: 以下のように仮定する。あの木版画集は常套手段でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この揮毫は地下深いということはない; int5 & fact5 -> int6: このジョッキは地下深くなくて恭しいということはない; [assump2] & int6 -> hypothesis; __PROVED__
事実1: もし仮にこの揮毫が照れ臭いならばあの木版画集は常套手段だ
事実2: あの木版画集が真面目さでないならばあのジョッキが地下深くないしさらにそれは常套手段でない
事実3: この揮毫は常套手段であるかもしくは真面目さだ
事実4: 「仮に「あの木版画集はすーごくない」ということは正しいならあの木版画集は常套手段だ」ということは確かである
事実5: 仮にこの揮毫が地下深くないとするとこのジョッキは地下深くないし加えて恭しくない
事実6: このジョッキは真面目さだということはない
事実7: もしもこの揮毫が地下深いかそれは真面目さでないかあるいは両方であるとすれば「それは照れ臭い」ということは誤りでない
事実8: このジョッキは地下深くない
事実9: 「この揮毫は恭しくない」ということは成り立つ
事実10: この揮毫が地下深くないとしたらあの木版画集は地下深くないが真面目さである

仮説: もし仮にあの木版画集が常套手段でないとするとこのジョッキは地下深くないし恭しいということはない
1. 仮定1: 以下のように仮定する。「この揮毫は地下深い」ということは確かである
2. 仮定1から、推論1: "この揮毫は地下深いかまたはそれは真面目さでない"が導かれる
3. 推論1と事実7から、推論2: "この揮毫は照れ臭い"が導かれる
4. 推論2と事実1から、推論3: "あの木版画集は常套手段である"が導かれる
5. 仮定2: 以下のように仮定する。あの木版画集は常套手段でない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この揮毫は地下深いということはない"が導かれる
8. 推論5と事実5から、推論6: "このジョッキは地下深くなくて恭しいということはない"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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