この小一はシルクエイドであるかもしくは外国税額控除であるかまたは両方ともだ
fact1: もしその持分比率が引き延ばせないならこの小一はシルクエイドだがしかし糾わない fact2: あらゆる物は外国税額控除でない fact3: あの油気は引き延ばせるということはない fact4: その持分比率は引き延ばせるということはない
fact1 & fact4 -> int1: この小一はシルクエイドである一方で糾わない; int1 -> int2: この小一はシルクエイドである; int2 -> hypothesis;
fact1 & fact4 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: {AA}{b}; int2 -> hypothesis;
その蝶々結びは降伏すかシルクエイドであるか両方ともである
fact5 -> int3: その持分比率は外国税額控除でない;
$facts$ = fact1: もしその持分比率が引き延ばせないならこの小一はシルクエイドだがしかし糾わない fact2: あらゆる物は外国税額控除でない fact3: あの油気は引き延ばせるということはない fact4: その持分比率は引き延ばせるということはない ; $hypothesis$ = この小一はシルクエイドであるかもしくは外国税額控除であるかまたは両方ともだ ; $proof$ = 
fact1 & fact4 -> int1: この小一はシルクエイドである一方で糾わない; int1 -> int2: この小一はシルクエイドである; int2 -> hypothesis; __PROVED__
事実1: もしその持分比率が引き延ばせないならこの小一はシルクエイドだがしかし糾わない
事実2: あらゆる物は外国税額控除でない
事実3: あの油気は引き延ばせるということはない
事実4: その持分比率は引き延ばせるということはない

仮説: この小一はシルクエイドであるかもしくは外国税額控除であるかまたは両方ともだ
1. 事実1と事実4から、推論1: "この小一はシルクエイドである一方で糾わない"が導かれる
2. 推論1から、推論2: "この小一はシルクエイドである"が導かれる
3. 推論2から、仮説が導かれる

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