「この本尊は起き難い」ということは成り立つ
fact1: 「あの解剖時は付け足す」ということは正しいならば欠損しない fact2: 「あの解剖時は動揺し易いしそれに付け足す」ということは間違いだ fact3: 仮に「「あの解剖時は動揺し易いがしかし付け足さない」ということは事実と異ならない」ということは間違っているなら欠損しない fact4: その蒸散法はしんどいかまたは添い寝であるかどちらもだ fact5: 「あの解剖時は動揺し易い一方で付け足さない」ということは嘘だ fact6: その蒸散法がヨルダン・ハシミテ王国でないとすればその御疲れは色好くなくて加えてそれは買い為さらない fact7: 「あの解剖時は欠損しない」ということは真実だとするとこの本尊は起き難い
fact3 & fact5 -> int1: 「あの解剖時は欠損しない」ということは正しい; int1 & fact7 -> hypothesis;
fact3 & fact5 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
この本尊は起き難くない
$facts$ = fact1: 「あの解剖時は付け足す」ということは正しいならば欠損しない fact2: 「あの解剖時は動揺し易いしそれに付け足す」ということは間違いだ fact3: 仮に「「あの解剖時は動揺し易いがしかし付け足さない」ということは事実と異ならない」ということは間違っているなら欠損しない fact4: その蒸散法はしんどいかまたは添い寝であるかどちらもだ fact5: 「あの解剖時は動揺し易い一方で付け足さない」ということは嘘だ fact6: その蒸散法がヨルダン・ハシミテ王国でないとすればその御疲れは色好くなくて加えてそれは買い為さらない fact7: 「あの解剖時は欠損しない」ということは真実だとするとこの本尊は起き難い ; $hypothesis$ = 「この本尊は起き難い」ということは成り立つ ; $proof$ = 
fact3 & fact5 -> int1: 「あの解剖時は欠損しない」ということは正しい; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「あの解剖時は付け足す」ということは正しいならば欠損しない
事実2: 「あの解剖時は動揺し易いしそれに付け足す」ということは間違いだ
事実3: 仮に「「あの解剖時は動揺し易いがしかし付け足さない」ということは事実と異ならない」ということは間違っているなら欠損しない
事実4: その蒸散法はしんどいかまたは添い寝であるかどちらもだ
事実5: 「あの解剖時は動揺し易い一方で付け足さない」ということは嘘だ
事実6: その蒸散法がヨルダン・ハシミテ王国でないとすればその御疲れは色好くなくて加えてそれは買い為さらない
事実7: 「あの解剖時は欠損しない」ということは真実だとするとこの本尊は起き難い

仮説: 「この本尊は起き難い」ということは成り立つ
1. 事実3と事実5から、推論1: "「あの解剖時は欠損しない」ということは正しい"が導かれる
2. 推論1と事実7から、仮説が導かれる

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