この婚入者は所得税基本通達である
fact1: この余剰は装着する fact2: この婚入者は装着する fact3: もしこの余剰が装着するならばあの婚入者は所得税基本通達だ fact4: もしもこの余剰が所得税基本通達ならこの婚入者は所得税基本通達であるということはない fact5: この洋馬は装着する
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この婚入者は所得税基本通達でない
$facts$ = fact1: この余剰は装着する fact2: この婚入者は装着する fact3: もしこの余剰が装着するならばあの婚入者は所得税基本通達だ fact4: もしもこの余剰が所得税基本通達ならこの婚入者は所得税基本通達であるということはない fact5: この洋馬は装着する ; $hypothesis$ = この婚入者は所得税基本通達である ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: この余剰は装着する
事実2: この婚入者は装着する
事実3: もしこの余剰が装着するならばあの婚入者は所得税基本通達だ
事実4: もしもこの余剰が所得税基本通達ならこの婚入者は所得税基本通達であるということはない
事実5: この洋馬は装着する

仮説: この婚入者は所得税基本通達である
1. 事実3と事実1から、仮説が導かれる

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