この太尉は会社でない
fact1: もしも「この無制限納税義務者は消化し難くないけれど廃する」ということは成り立たないならこの太尉は消化し難くない fact2: もしも何らかのものが消化し難くないならそれは会社でそれは指弾する fact3: 「指弾するし更に消化し難い」物はある fact4: 「「指弾しない」ということは偽である」物はある fact5: なにがしかの物が指弾するしおまけにそれが消化し難いならばこの無制限納税義務者は偏重する fact6: この無制限納税義務者が偏重するか会社であるとすればあの太尉は廃するということはない fact7: 仮にこの無制限納税義務者が偏重するかまたは廃するとすればこの太尉は会社でない
fact3 & fact5 -> int1: 「この無制限納税義務者は偏重する」ということは真実だ; int1 -> int2: この無制限納税義務者は偏重するかもしくは廃する; int2 & fact7 -> hypothesis;
fact3 & fact5 -> int1: {C}{a}; int1 -> int2: ({C}{a} v {D}{a}); int2 & fact7 -> hypothesis;
「この太尉は会社だ」ということは事実だ
fact9 -> int3: もしもこの太尉が消化し難くないとするとそれは会社で指弾する;
$facts$ = fact1: もしも「この無制限納税義務者は消化し難くないけれど廃する」ということは成り立たないならこの太尉は消化し難くない fact2: もしも何らかのものが消化し難くないならそれは会社でそれは指弾する fact3: 「指弾するし更に消化し難い」物はある fact4: 「「指弾しない」ということは偽である」物はある fact5: なにがしかの物が指弾するしおまけにそれが消化し難いならばこの無制限納税義務者は偏重する fact6: この無制限納税義務者が偏重するか会社であるとすればあの太尉は廃するということはない fact7: 仮にこの無制限納税義務者が偏重するかまたは廃するとすればこの太尉は会社でない ; $hypothesis$ = この太尉は会社でない ; $proof$ = 
fact3 & fact5 -> int1: 「この無制限納税義務者は偏重する」ということは真実だ; int1 -> int2: この無制限納税義務者は偏重するかもしくは廃する; int2 & fact7 -> hypothesis; __PROVED__
事実1: もしも「この無制限納税義務者は消化し難くないけれど廃する」ということは成り立たないならこの太尉は消化し難くない
事実2: もしも何らかのものが消化し難くないならそれは会社でそれは指弾する
事実3: 「指弾するし更に消化し難い」物はある
事実4: 「「指弾しない」ということは偽である」物はある
事実5: なにがしかの物が指弾するしおまけにそれが消化し難いならばこの無制限納税義務者は偏重する
事実6: この無制限納税義務者が偏重するか会社であるとすればあの太尉は廃するということはない
事実7: 仮にこの無制限納税義務者が偏重するかまたは廃するとすればこの太尉は会社でない

仮説: この太尉は会社でない
1. 事実3と事実5から、推論1: "「この無制限納税義務者は偏重する」ということは真実だ"が導かれる
2. 推論1から、推論2: "この無制限納税義務者は偏重するかもしくは廃する"が導かれる
3. 推論2と事実7から、仮説が導かれる

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