その表白は軽々しい
fact1: なにかは消化性潰瘍であるけれどそれは膵管でない fact2: もし仮に「「消化性潰瘍でない」ということは正しい」物があるならばあの表白は軽々しい fact3: 「「空しいがしかし向き合えない」ということは成り立たない」物はある fact4: もし仮に「「消化性潰瘍だし膵管でない」ということは偽である」ものがあるとすればその表白は軽々しい fact5: 「「消化性潰瘍であるしその上膵管でない」ということは間違いな」ものはある fact6: 「「消化性潰瘍だし膵管だ」ということは成り立たない」ものはある fact7: もしもその逆接が軽々しいならその表白は軽々しいということはない fact8: その表白は消化性潰瘍である
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
その表白は軽々しかない
$facts$ = fact1: なにかは消化性潰瘍であるけれどそれは膵管でない fact2: もし仮に「「消化性潰瘍でない」ということは正しい」物があるならばあの表白は軽々しい fact3: 「「空しいがしかし向き合えない」ということは成り立たない」物はある fact4: もし仮に「「消化性潰瘍だし膵管でない」ということは偽である」ものがあるとすればその表白は軽々しい fact5: 「「消化性潰瘍であるしその上膵管でない」ということは間違いな」ものはある fact6: 「「消化性潰瘍だし膵管だ」ということは成り立たない」ものはある fact7: もしもその逆接が軽々しいならその表白は軽々しいということはない fact8: その表白は消化性潰瘍である ; $hypothesis$ = その表白は軽々しい ; $proof$ = 
fact5 & fact4 -> hypothesis; __PROVED__
事実1: なにかは消化性潰瘍であるけれどそれは膵管でない
事実2: もし仮に「「消化性潰瘍でない」ということは正しい」物があるならばあの表白は軽々しい
事実3: 「「空しいがしかし向き合えない」ということは成り立たない」物はある
事実4: もし仮に「「消化性潰瘍だし膵管でない」ということは偽である」ものがあるとすればその表白は軽々しい
事実5: 「「消化性潰瘍であるしその上膵管でない」ということは間違いな」ものはある
事実6: 「「消化性潰瘍だし膵管だ」ということは成り立たない」ものはある
事実7: もしもその逆接が軽々しいならその表白は軽々しいということはない
事実8: その表白は消化性潰瘍である

仮説: その表白は軽々しい
1. 事実5と事実4から、仮説が導かれる

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