「とある物は勧誘するということはない」ということは間違っている
fact1: あの業界人が惜しいということはないか向かわないか両方であるとするとその団体訴権制度は勧誘しない fact2: もしもこのボイドが用い易くないならばあの業界人は惜しくないかあるいはそれは向かう fact3: あの業界人は惜しくないかあるいは向かうかもしくは両方ともだ fact4: あの業界人は惜しいかあるいは向かわないかまたはどちらもだ fact5: 用い易い物は向かわないかあるいは焼き入れしないかもしくは両方である fact6: 「このボイドは用い易くない」ということは間違っていない fact7: 「勧誘する」ものはある fact8: 仮にこのボイドが用い易くないとすればあの業界人は惜しいということはないかもしくはそれは向かわないかあるいは両方だ fact9: もしも「このボイドは勧誘する」ということは成り立つとするとその身中は用い易い
fact8 & fact6 -> int1: あの業界人は惜しくないかもしくはそれは向かうということはないか両方だ; int1 & fact1 -> int2: その団体訴権制度は勧誘するということはない; int2 -> hypothesis;
その身中は向かうということはないかまたはそれは焼き入れしないかあるいは両方ともである
fact10 -> int3: 「もしもその身中が用い易いならその身中は向かわないかまたはそれは焼き入れしないか両方ともだ」ということは成り立つ;
$facts$ = fact1: あの業界人が惜しいということはないか向かわないか両方であるとするとその団体訴権制度は勧誘しない fact2: もしもこのボイドが用い易くないならばあの業界人は惜しくないかあるいはそれは向かう fact3: あの業界人は惜しくないかあるいは向かうかもしくは両方ともだ fact4: あの業界人は惜しいかあるいは向かわないかまたはどちらもだ fact5: 用い易い物は向かわないかあるいは焼き入れしないかもしくは両方である fact6: 「このボイドは用い易くない」ということは間違っていない fact7: 「勧誘する」ものはある fact8: 仮にこのボイドが用い易くないとすればあの業界人は惜しいということはないかもしくはそれは向かわないかあるいは両方だ fact9: もしも「このボイドは勧誘する」ということは成り立つとするとその身中は用い易い ; $hypothesis$ = 「とある物は勧誘するということはない」ということは間違っている ; $proof$ = 
fact8 & fact6 -> int1: あの業界人は惜しくないかもしくはそれは向かうということはないか両方だ; int1 & fact1 -> int2: その団体訴権制度は勧誘するということはない; int2 -> hypothesis; __DISPROVED__
事実1: あの業界人が惜しいということはないか向かわないか両方であるとするとその団体訴権制度は勧誘しない
事実2: もしもこのボイドが用い易くないならばあの業界人は惜しくないかあるいはそれは向かう
事実3: あの業界人は惜しくないかあるいは向かうかもしくは両方ともだ
事実4: あの業界人は惜しいかあるいは向かわないかまたはどちらもだ
事実5: 用い易い物は向かわないかあるいは焼き入れしないかもしくは両方である
事実6: 「このボイドは用い易くない」ということは間違っていない
事実7: 「勧誘する」ものはある
事実8: 仮にこのボイドが用い易くないとすればあの業界人は惜しいということはないかもしくはそれは向かわないかあるいは両方だ
事実9: もしも「このボイドは勧誘する」ということは成り立つとするとその身中は用い易い

仮説: 「とある物は勧誘するということはない」ということは間違っている
1. 事実8と事実6から、推論1: "あの業界人は惜しくないかもしくはそれは向かうということはないか両方だ"が導かれる
2. 推論1と事実1から、推論2: "その団体訴権制度は勧誘するということはない"が導かれる
3. 推論2から、仮説が否定される

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