あの九十九艦爆は入り易いものであってその上新刊書でない
fact1: あの無年金者は新刊書だとすれば「あの九十九艦爆は入り易いけれど新刊書でない」ということは成り立たない fact2: 何かは半身でないけど統一感である fact3: もし何かは統一感でないなら「それは入り易くないかもしくは半身であるかまたは両方ともである」ということは成り立たない fact4: もしも「半身でないが統一感な」ものがあるとしたらあの無年金者は新刊書だ fact5: もし仮に「あの無年金者は入り易いということはないかもしくは半身であるかまたは両方ともである」ということは成り立たないならこの嫌がらせは入り易い
fact2 & fact4 -> int1: あの無年金者は新刊書だ; int1 & fact1 -> hypothesis;
この嫌がらせは入り易い
fact6 -> int2: もし仮にあの無年金者は統一感でないとすると「それは入り易くないかもしくは半身であるかあるいは両方ともである」ということは間違っている;
$facts$ = fact1: あの無年金者は新刊書だとすれば「あの九十九艦爆は入り易いけれど新刊書でない」ということは成り立たない fact2: 何かは半身でないけど統一感である fact3: もし何かは統一感でないなら「それは入り易くないかもしくは半身であるかまたは両方ともである」ということは成り立たない fact4: もしも「半身でないが統一感な」ものがあるとしたらあの無年金者は新刊書だ fact5: もし仮に「あの無年金者は入り易いということはないかもしくは半身であるかまたは両方ともである」ということは成り立たないならこの嫌がらせは入り易い ; $hypothesis$ = あの九十九艦爆は入り易いものであってその上新刊書でない ; $proof$ = 
fact2 & fact4 -> int1: あの無年金者は新刊書だ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あの無年金者は新刊書だとすれば「あの九十九艦爆は入り易いけれど新刊書でない」ということは成り立たない
事実2: 何かは半身でないけど統一感である
事実3: もし何かは統一感でないなら「それは入り易くないかもしくは半身であるかまたは両方ともである」ということは成り立たない
事実4: もしも「半身でないが統一感な」ものがあるとしたらあの無年金者は新刊書だ
事実5: もし仮に「あの無年金者は入り易いということはないかもしくは半身であるかまたは両方ともである」ということは成り立たないならこの嫌がらせは入り易い

仮説: あの九十九艦爆は入り易いものであってその上新刊書でない
1. 事実2と事実4から、推論1: "あの無年金者は新刊書だ"が導かれる
2. 推論1と事実1から、仮説が否定される

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