「この二大政党制は清拭する」ということは成り立つ
fact1: この制作者が作業負荷であるかもしくはＶＡＬモンであるならばこの二大政党制は清拭しない fact2: あの基本的知識は把握し易くないか期し難い fact3: この二大政党制がＶＡＬモンだとするとこの制作者は清拭しない fact4: なにがしかの物は期し難いかもしくは清拭するということはないかあるいは両方だ fact5: もしあるものが清拭しないとすればＶＡＬモンでなくて作業負荷でない fact6: なにがしかのものは把握し易いということはないかもしくは期し難いかどちらもだ fact7: この制作者はＶＡＬモンでないかあるいは清拭するかまたはどちらもだ fact8: とあるものは期し難くないかまたは清拭するかあるいは両方である fact9: この制作者が清拭すればこの二大政党制は作業負荷でない fact10: もし仮にこの制作者が把握し易い一方で清拭しないとするとこの二大政党制は清拭する fact11: この二大政党制は作業負荷でない fact12: 仮にあの基本的知識がＶＡＬモンであるならばこの制作者は把握し易くない fact13: なんらかのものが把握し易くないかまたはそれが期し難くないならこの制作者はＶＡＬモンである fact14: もし仮にあの政府印刷局法がＶＡＬモンでないとすると期し難いしそれは把握し易い fact15: あの基本的知識は把握し易くないかもしくはそれは期し難くないかまたは両方ともだ fact16: もし仮に「なにがしかの物は分かち難くないかまたは間違い無いかまたはどちらもである」ということは誤っているとしたら清拭しない fact17: 「この制作者はＶＡＬモンであるか把握し易いかどちらもだ」ということは成り立てばあの基本的知識は作業負荷でない fact18: 仮に「この二大政党制は作業負荷である」ということは事実だとするとこの制作者はＶＡＬモンでない fact19: あの音声ファイルは清拭する fact20: この制作者は清拭する
fact15 -> int1: 「「把握し易くないかまたは期し難くないか両方である」ということは本当な」物はある; int1 & fact13 -> int2: この制作者はＶＡＬモンである; int2 -> int3: この制作者は作業負荷であるかもしくはＶＡＬモンであるかもしくはどちらもである; int3 & fact1 -> hypothesis;
あの政府印刷局法は期し難い
fact23 -> int4: 「あの政府印刷局法は清拭しない」ということは本当であるならＶＡＬモンでなくてかつ作業負荷だということはない; fact21 -> int5: 「「あの政府印刷局法は分かち難くないかもしくは間違い無いかまたは両方ともである」ということは成り立つということはないとするとあの政府印刷局法は清拭しない」ということは真実である;
$facts$ = fact1: この制作者が作業負荷であるかもしくはＶＡＬモンであるならばこの二大政党制は清拭しない fact2: あの基本的知識は把握し易くないか期し難い fact3: この二大政党制がＶＡＬモンだとするとこの制作者は清拭しない fact4: なにがしかの物は期し難いかもしくは清拭するということはないかあるいは両方だ fact5: もしあるものが清拭しないとすればＶＡＬモンでなくて作業負荷でない fact6: なにがしかのものは把握し易いということはないかもしくは期し難いかどちらもだ fact7: この制作者はＶＡＬモンでないかあるいは清拭するかまたはどちらもだ fact8: とあるものは期し難くないかまたは清拭するかあるいは両方である fact9: この制作者が清拭すればこの二大政党制は作業負荷でない fact10: もし仮にこの制作者が把握し易い一方で清拭しないとするとこの二大政党制は清拭する fact11: この二大政党制は作業負荷でない fact12: 仮にあの基本的知識がＶＡＬモンであるならばこの制作者は把握し易くない fact13: なんらかのものが把握し易くないかまたはそれが期し難くないならこの制作者はＶＡＬモンである fact14: もし仮にあの政府印刷局法がＶＡＬモンでないとすると期し難いしそれは把握し易い fact15: あの基本的知識は把握し易くないかもしくはそれは期し難くないかまたは両方ともだ fact16: もし仮に「なにがしかの物は分かち難くないかまたは間違い無いかまたはどちらもである」ということは誤っているとしたら清拭しない fact17: 「この制作者はＶＡＬモンであるか把握し易いかどちらもだ」ということは成り立てばあの基本的知識は作業負荷でない fact18: 仮に「この二大政党制は作業負荷である」ということは事実だとするとこの制作者はＶＡＬモンでない fact19: あの音声ファイルは清拭する fact20: この制作者は清拭する ; $hypothesis$ = 「この二大政党制は清拭する」ということは成り立つ ; $proof$ = 
fact15 -> int1: 「「把握し易くないかまたは期し難くないか両方である」ということは本当な」物はある; int1 & fact13 -> int2: この制作者はＶＡＬモンである; int2 -> int3: この制作者は作業負荷であるかもしくはＶＡＬモンであるかもしくはどちらもである; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: この制作者が作業負荷であるかもしくはＶＡＬモンであるならばこの二大政党制は清拭しない
事実2: あの基本的知識は把握し易くないか期し難い
事実3: この二大政党制がＶＡＬモンだとするとこの制作者は清拭しない
事実4: なにがしかの物は期し難いかもしくは清拭するということはないかあるいは両方だ
事実5: もしあるものが清拭しないとすればＶＡＬモンでなくて作業負荷でない
事実6: なにがしかのものは把握し易いということはないかもしくは期し難いかどちらもだ
事実7: この制作者はＶＡＬモンでないかあるいは清拭するかまたはどちらもだ
事実8: とあるものは期し難くないかまたは清拭するかあるいは両方である
事実9: この制作者が清拭すればこの二大政党制は作業負荷でない
事実10: もし仮にこの制作者が把握し易い一方で清拭しないとするとこの二大政党制は清拭する
事実11: この二大政党制は作業負荷でない
事実12: 仮にあの基本的知識がＶＡＬモンであるならばこの制作者は把握し易くない
事実13: なんらかのものが把握し易くないかまたはそれが期し難くないならこの制作者はＶＡＬモンである
事実14: もし仮にあの政府印刷局法がＶＡＬモンでないとすると期し難いしそれは把握し易い
事実15: あの基本的知識は把握し易くないかもしくはそれは期し難くないかまたは両方ともだ
事実16: もし仮に「なにがしかの物は分かち難くないかまたは間違い無いかまたはどちらもである」ということは誤っているとしたら清拭しない
事実17: 「この制作者はＶＡＬモンであるか把握し易いかどちらもだ」ということは成り立てばあの基本的知識は作業負荷でない
事実18: 仮に「この二大政党制は作業負荷である」ということは事実だとするとこの制作者はＶＡＬモンでない
事実19: あの音声ファイルは清拭する
事実20: この制作者は清拭する

仮説: 「この二大政党制は清拭する」ということは成り立つ
1. 事実15から、推論1: "「「把握し易くないかまたは期し難くないか両方である」ということは本当な」物はある"が導かれる
2. 推論1と事実13から、推論2: "この制作者はＶＡＬモンである"が導かれる
3. 推論2から、推論3: "この制作者は作業負荷であるかもしくはＶＡＬモンであるかもしくはどちらもである"が導かれる
4. 推論3と事実1から、仮説が否定される

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