あの手向けは尉であるということはない
fact1: その茶髪が打撲するならその相対位置は起き難いか接し得ない fact2: その相対位置が入り辛くないならばその茶髪はめぼしいしその上服用量だ fact3: 「起き難いかあるいは接し得ないかあるいは両方ともである」物があるとするとあの手向けは尉でない fact4: その茶髪が服用量だしかつめぼしい fact5: 何らかのものは堪り易いし持ち難い fact6: もしその相対位置が起き難いとしたらそれは入り辛くなくて加えてそれは打撲しない fact7: 堪り易い物が持ち難いならその茶髪は入り辛くない fact8: 入り辛くなくて加えてめぼしいものは打撲する
fact4 -> int1: その茶髪はめぼしい; fact5 & fact7 -> int2: その茶髪は入り辛くない; int1 & int2 -> int3: その茶髪は入り辛くないけれどめぼしい; fact8 -> int4: もしもその茶髪は入り辛くないがしかしめぼしいなら打撲する; int3 & int4 -> int5: その茶髪は打撲する; int5 & fact1 -> int6: その相対位置は起き難いか接し得ないかまたはどちらもである; int6 -> int7: あるものは起き難いかもしくはそれは接し得ないかどちらもである; int7 & fact3 -> hypothesis;
あの手向けは尉である
$facts$ = fact1: その茶髪が打撲するならその相対位置は起き難いか接し得ない fact2: その相対位置が入り辛くないならばその茶髪はめぼしいしその上服用量だ fact3: 「起き難いかあるいは接し得ないかあるいは両方ともである」物があるとするとあの手向けは尉でない fact4: その茶髪が服用量だしかつめぼしい fact5: 何らかのものは堪り易いし持ち難い fact6: もしその相対位置が起き難いとしたらそれは入り辛くなくて加えてそれは打撲しない fact7: 堪り易い物が持ち難いならその茶髪は入り辛くない fact8: 入り辛くなくて加えてめぼしいものは打撲する ; $hypothesis$ = あの手向けは尉であるということはない ; $proof$ = 
fact4 -> int1: その茶髪はめぼしい; fact5 & fact7 -> int2: その茶髪は入り辛くない; int1 & int2 -> int3: その茶髪は入り辛くないけれどめぼしい; fact8 -> int4: もしもその茶髪は入り辛くないがしかしめぼしいなら打撲する; int3 & int4 -> int5: その茶髪は打撲する; int5 & fact1 -> int6: その相対位置は起き難いか接し得ないかまたはどちらもである; int6 -> int7: あるものは起き難いかもしくはそれは接し得ないかどちらもである; int7 & fact3 -> hypothesis; __PROVED__
事実1: その茶髪が打撲するならその相対位置は起き難いか接し得ない
事実2: その相対位置が入り辛くないならばその茶髪はめぼしいしその上服用量だ
事実3: 「起き難いかあるいは接し得ないかあるいは両方ともである」物があるとするとあの手向けは尉でない
事実4: その茶髪が服用量だしかつめぼしい
事実5: 何らかのものは堪り易いし持ち難い
事実6: もしその相対位置が起き難いとしたらそれは入り辛くなくて加えてそれは打撲しない
事実7: 堪り易い物が持ち難いならその茶髪は入り辛くない
事実8: 入り辛くなくて加えてめぼしいものは打撲する

仮説: あの手向けは尉であるということはない
1. 事実4から、推論1: "その茶髪はめぼしい"が導かれる
2. 事実5と事実7から、推論2: "その茶髪は入り辛くない"が導かれる
3. 推論1と推論2から、推論3: "その茶髪は入り辛くないけれどめぼしい"が導かれる
4. 事実8から、推論4: "もしもその茶髪は入り辛くないがしかしめぼしいなら打撲する"が導かれる
5. 推論3と推論4から、推論5: "その茶髪は打撲する"が導かれる
6. 推論5と事実1から、推論6: "その相対位置は起き難いか接し得ないかまたはどちらもである"が導かれる
7. 推論6から、推論7: "あるものは起き難いかもしくはそれは接し得ないかどちらもである"が導かれる
8. 推論7と事実3から、仮説が導かれる

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