「その膨らみ部分は刺客達であるかそれは熱っぽくない」ということは成り立たない
fact1: その膨らみ部分は刺客達であるかもしくは熱っぽいかまたは両方だ fact2: 「あの全員外は有るらしいけれど扱い易くない」ということは成り立たない fact3: もし「あの全員外は有るらしくないしその上扱い易いということはない」ということは成り立つということはないならその膨らみ部分は熱っぽくない fact4: その部分表示は有るらしいかあるいは子弟でない fact5: あの全員外は手強くない fact6: あの全員外は手強くないならば「それは有るらしくないし扱い易くない」ということは事実と異なる
fact6 & fact5 -> int1: 「あの全員外は有るらしくないし加えてそれは扱い易くない」ということは誤っている; int1 & fact3 -> int2: 「その膨らみ部分は熱っぽくない」ということは確かである; int2 -> hypothesis;
$facts$ = fact1: その膨らみ部分は刺客達であるかもしくは熱っぽいかまたは両方だ fact2: 「あの全員外は有るらしいけれど扱い易くない」ということは成り立たない fact3: もし「あの全員外は有るらしくないしその上扱い易いということはない」ということは成り立つということはないならその膨らみ部分は熱っぽくない fact4: その部分表示は有るらしいかあるいは子弟でない fact5: あの全員外は手強くない fact6: あの全員外は手強くないならば「それは有るらしくないし扱い易くない」ということは事実と異なる ; $hypothesis$ = 「その膨らみ部分は刺客達であるかそれは熱っぽくない」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> int1: 「あの全員外は有るらしくないし加えてそれは扱い易くない」ということは誤っている; int1 & fact3 -> int2: 「その膨らみ部分は熱っぽくない」ということは確かである; int2 -> hypothesis; __DISPROVED__
事実1: その膨らみ部分は刺客達であるかもしくは熱っぽいかまたは両方だ
事実2: 「あの全員外は有るらしいけれど扱い易くない」ということは成り立たない
事実3: もし「あの全員外は有るらしくないしその上扱い易いということはない」ということは成り立つということはないならその膨らみ部分は熱っぽくない
事実4: その部分表示は有るらしいかあるいは子弟でない
事実5: あの全員外は手強くない
事実6: あの全員外は手強くないならば「それは有るらしくないし扱い易くない」ということは事実と異なる

仮説: 「その膨らみ部分は刺客達であるかそれは熱っぽくない」ということは成り立たない
1. 事実6と事実5から、推論1: "「あの全員外は有るらしくないし加えてそれは扱い易くない」ということは誤っている"が導かれる
2. 推論1と事実3から、推論2: "「その膨らみ部分は熱っぽくない」ということは確かである"が導かれる
3. 推論2から、仮説が否定される

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