「もしこの部品企業は投入物であるとすると「この男性達は有害金属であるかあるいはそれはひもじくないか両方である」ということは誤っている」ということは事実と異なる
fact1: 「「対抗するかもしくは上向く」ということは間違いな」物はある fact2: 仮にこの部品企業は投入物であるとすれば「この男性達は有害金属でない」ということは成り立つ fact3: 仮に「「対抗するかもしくは上向かない」ということは嘘である」ものがあるとするとあの子供達皆は有害金属である fact4: この部品企業はひもじいかまたはそれは決意しないかまたはどちらもである fact5: 仮にこの部品企業は投入物であるならそれは決意する fact6: この男性達は扱い難い fact7: もしなんらかのものは決意するとすると「対抗するかまたは上向かないかあるいは両方ともである」ということは成り立たない fact8: もしもあの子供達皆は有害金属なら「この男性達は有害金属であるかまたはそれはひもじいということはないかもしくはどちらもだ」ということは間違いである fact9: この男性達がひもじいとしたら対抗する fact10: 仮になにがしかのものが決意すればそれは対抗しない fact11: もしもこの男性達は投入物ならば「この部品企業はひもじいかもしくは上向かないかまたは両方ともである」ということは成り立つ
void -> assump1: 以下のように仮定する。この部品企業は投入物だ; fact5 & assump1 -> int1: この部品企業は決意する; fact7 -> int2: もしこの部品企業は決意すれば「対抗するかもしくは上向かないかもしくはどちらもである」ということは事実と異なる; int1 & int2 -> int3: 「この部品企業は対抗するかあるいはそれは上向かないかもしくは両方ともである」ということは嘘だ; int3 -> int4: 「「対抗するか上向かないか両方ともだ」ということは間違いな」物はある; int4 & fact3 -> int5: あの子供達皆は有害金属である; int5 & fact8 -> int6: 「この男性達は有害金属であるかまたはひもじくないか両方である」ということは事実でない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「「対抗するかもしくは上向く」ということは間違いな」物はある fact2: 仮にこの部品企業は投入物であるとすれば「この男性達は有害金属でない」ということは成り立つ fact3: 仮に「「対抗するかもしくは上向かない」ということは嘘である」ものがあるとするとあの子供達皆は有害金属である fact4: この部品企業はひもじいかまたはそれは決意しないかまたはどちらもである fact5: 仮にこの部品企業は投入物であるならそれは決意する fact6: この男性達は扱い難い fact7: もしなんらかのものは決意するとすると「対抗するかまたは上向かないかあるいは両方ともである」ということは成り立たない fact8: もしもあの子供達皆は有害金属なら「この男性達は有害金属であるかまたはそれはひもじいということはないかもしくはどちらもだ」ということは間違いである fact9: この男性達がひもじいとしたら対抗する fact10: 仮になにがしかのものが決意すればそれは対抗しない fact11: もしもこの男性達は投入物ならば「この部品企業はひもじいかもしくは上向かないかまたは両方ともである」ということは成り立つ ; $hypothesis$ = 「もしこの部品企業は投入物であるとすると「この男性達は有害金属であるかあるいはそれはひもじくないか両方である」ということは誤っている」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この部品企業は投入物だ; fact5 & assump1 -> int1: この部品企業は決意する; fact7 -> int2: もしこの部品企業は決意すれば「対抗するかもしくは上向かないかもしくはどちらもである」ということは事実と異なる; int1 & int2 -> int3: 「この部品企業は対抗するかあるいはそれは上向かないかもしくは両方ともである」ということは嘘だ; int3 -> int4: 「「対抗するか上向かないか両方ともだ」ということは間違いな」物はある; int4 & fact3 -> int5: あの子供達皆は有害金属である; int5 & fact8 -> int6: 「この男性達は有害金属であるかまたはひもじくないか両方である」ということは事実でない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「「対抗するかもしくは上向く」ということは間違いな」物はある
事実2: 仮にこの部品企業は投入物であるとすれば「この男性達は有害金属でない」ということは成り立つ
事実3: 仮に「「対抗するかもしくは上向かない」ということは嘘である」ものがあるとするとあの子供達皆は有害金属である
事実4: この部品企業はひもじいかまたはそれは決意しないかまたはどちらもである
事実5: 仮にこの部品企業は投入物であるならそれは決意する
事実6: この男性達は扱い難い
事実7: もしなんらかのものは決意するとすると「対抗するかまたは上向かないかあるいは両方ともである」ということは成り立たない
事実8: もしもあの子供達皆は有害金属なら「この男性達は有害金属であるかまたはそれはひもじいということはないかもしくはどちらもだ」ということは間違いである
事実9: この男性達がひもじいとしたら対抗する
事実10: 仮になにがしかのものが決意すればそれは対抗しない
事実11: もしもこの男性達は投入物ならば「この部品企業はひもじいかもしくは上向かないかまたは両方ともである」ということは成り立つ

仮説: 「もしこの部品企業は投入物であるとすると「この男性達は有害金属であるかあるいはそれはひもじくないか両方である」ということは誤っている」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この部品企業は投入物だ
2. 事実5と仮定1から、推論1: "この部品企業は決意する"が導かれる
3. 事実7から、推論2: "もしこの部品企業は決意すれば「対抗するかもしくは上向かないかもしくはどちらもである」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "「この部品企業は対抗するかあるいはそれは上向かないかもしくは両方ともである」ということは嘘だ"が導かれる
5. 推論3から、推論4: "「「対抗するか上向かないか両方ともだ」ということは間違いな」物はある"が導かれる
6. 推論4と事実3から、推論5: "あの子供達皆は有害金属である"が導かれる
7. 推論5と事実8から、推論6: "「この男性達は有害金属であるかまたはひもじくないか両方である」ということは事実でない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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