その単純Ｘ線側面像は盛り込む
fact1: もし仮にこのフェーダーが冷め難いか外国出願であるか両方ならばあの単純Ｘ線側面像は盛り込まない fact2: もしこのフェーダーが置き換えるとすればそれは外国出願だ fact3: このパンテラは置き換える fact4: このフェーダーは置き換える
fact2 & fact4 -> int1: このフェーダーは外国出願だ; int1 -> int2: このフェーダーは冷め難いかまたはそれは外国出願であるかもしくは両方である; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのフェーダーが冷め難いか外国出願であるか両方ならばあの単純Ｘ線側面像は盛り込まない fact2: もしこのフェーダーが置き換えるとすればそれは外国出願だ fact3: このパンテラは置き換える fact4: このフェーダーは置き換える ; $hypothesis$ = その単純Ｘ線側面像は盛り込む ; $proof$ = 
fact2 & fact4 -> int1: このフェーダーは外国出願だ; int1 -> int2: このフェーダーは冷め難いかまたはそれは外国出願であるかもしくは両方である; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこのフェーダーが冷め難いか外国出願であるか両方ならばあの単純Ｘ線側面像は盛り込まない
事実2: もしこのフェーダーが置き換えるとすればそれは外国出願だ
事実3: このパンテラは置き換える
事実4: このフェーダーは置き換える

仮説: その単純Ｘ線側面像は盛り込む
1. 事実2と事実4から、推論1: "このフェーダーは外国出願だ"が導かれる
2. 推論1から、推論2: "このフェーダーは冷め難いかまたはそれは外国出願であるかもしくは両方である"が導かれる
3. 推論2と事実1から、仮説が否定される

よって、仮説が否定されました。