「あの選別基準は女性グループだということはなくてかつ近代的性別分業観でない」ということは誤りだ
fact1: もしあのアンダーカバーが中小企業庁編であるがしかし払い除けないとしたらあの選別基準は中小企業庁編だ fact2: もし仮にその水増しが付き従わないなら新しし薄汚い fact3: あの選別基準は女性グループでない fact4: 御し易くない物は憎々しくないし甘いということはない fact5: もし仮にその技工が熱苦しいならばその水増しはドル・コスト平均法でなくてその上それは付き従わない fact6: その水増しは払い除けない fact7: もし仮に「あのアンダーカバーは中小企業庁編でない」ということは本当であるとするとあの選別基準は女性グループでない fact8: あのアンダーカバーは真似るかあるいは騒々しいかもしくは両方ともである fact9: この人物論が憎々しいということはないしそれが甘くないならあのアンダーカバーは憎々しくない fact10: もし仮にその水増しが薄汚いならこの人物論は寝苦しいということはないし加えて御し易くない fact11: その水増しは払い除けないが御し易い fact12: あのアンダーカバーは真似るか騒々しくないかあるいは両方ともである fact13: もしあのアンダーカバーが騒々しくないとすれば憎々しい fact14: 仮にあのアンダーカバーは真似るかまたは騒々しくないとするとそれは憎々しい fact15: もしあのアンダーカバーが中小企業庁編でないならあの選別基準は女性グループでないしそれは近代的性別分業観だということはない fact16: もしもこの人物論は払い除けないならば「その水増しは払い除けないけど御し易い」ということは成り立つということはない fact17: 憎々しくないものは中小企業庁編だが払い除けない fact18: もしもなにかは中小企業庁編なら「女性グループでないしそれは近代的性別分業観でない」ということは誤っている fact19: 仮にあのアンダーカバーが憎々しいし更にそれが中小企業庁編であるならばこの人物論は払い除けない
fact14 & fact12 -> int1: あのアンダーカバーは憎々しい; void -> assump1: 以下のように仮定する。あのアンダーカバーは中小企業庁編である; int1 & assump1 -> int2: あのアンダーカバーは憎々しくてかつ中小企業庁編である; int2 & fact19 -> int3: この人物論は払い除けない; int3 & fact16 -> int4: 「その水増しは払い除けないけど御し易い」ということは嘘だ; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのアンダーカバーは中小企業庁編であるということはない」ということは偽でない; int6 & fact15 -> hypothesis;
「あの選別基準は女性グループでなくて近代的性別分業観であるということはない」ということは成り立つということはない
fact25 -> int7: 仮にあの選別基準は中小企業庁編だとすると「それは女性グループでないしさらに近代的性別分業観だということはない」ということは誤りだ; fact26 -> int8: もし仮にあのアンダーカバーは憎々しくないとしたら「中小企業庁編だけれど払い除けない」ということは正しい; fact23 -> int9: もしもこの人物論が御し易いということはないなら憎々しくないしそれに甘くない;
$facts$ = fact1: もしあのアンダーカバーが中小企業庁編であるがしかし払い除けないとしたらあの選別基準は中小企業庁編だ fact2: もし仮にその水増しが付き従わないなら新しし薄汚い fact3: あの選別基準は女性グループでない fact4: 御し易くない物は憎々しくないし甘いということはない fact5: もし仮にその技工が熱苦しいならばその水増しはドル・コスト平均法でなくてその上それは付き従わない fact6: その水増しは払い除けない fact7: もし仮に「あのアンダーカバーは中小企業庁編でない」ということは本当であるとするとあの選別基準は女性グループでない fact8: あのアンダーカバーは真似るかあるいは騒々しいかもしくは両方ともである fact9: この人物論が憎々しいということはないしそれが甘くないならあのアンダーカバーは憎々しくない fact10: もし仮にその水増しが薄汚いならこの人物論は寝苦しいということはないし加えて御し易くない fact11: その水増しは払い除けないが御し易い fact12: あのアンダーカバーは真似るか騒々しくないかあるいは両方ともである fact13: もしあのアンダーカバーが騒々しくないとすれば憎々しい fact14: 仮にあのアンダーカバーは真似るかまたは騒々しくないとするとそれは憎々しい fact15: もしあのアンダーカバーが中小企業庁編でないならあの選別基準は女性グループでないしそれは近代的性別分業観だということはない fact16: もしもこの人物論は払い除けないならば「その水増しは払い除けないけど御し易い」ということは成り立つということはない fact17: 憎々しくないものは中小企業庁編だが払い除けない fact18: もしもなにかは中小企業庁編なら「女性グループでないしそれは近代的性別分業観でない」ということは誤っている fact19: 仮にあのアンダーカバーが憎々しいし更にそれが中小企業庁編であるならばこの人物論は払い除けない ; $hypothesis$ = 「あの選別基準は女性グループだということはなくてかつ近代的性別分業観でない」ということは誤りだ ; $proof$ = 
fact14 & fact12 -> int1: あのアンダーカバーは憎々しい; void -> assump1: 以下のように仮定する。あのアンダーカバーは中小企業庁編である; int1 & assump1 -> int2: あのアンダーカバーは憎々しくてかつ中小企業庁編である; int2 & fact19 -> int3: この人物論は払い除けない; int3 & fact16 -> int4: 「その水増しは払い除けないけど御し易い」ということは嘘だ; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのアンダーカバーは中小企業庁編であるということはない」ということは偽でない; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: もしあのアンダーカバーが中小企業庁編であるがしかし払い除けないとしたらあの選別基準は中小企業庁編だ
事実2: もし仮にその水増しが付き従わないなら新しし薄汚い
事実3: あの選別基準は女性グループでない
事実4: 御し易くない物は憎々しくないし甘いということはない
事実5: もし仮にその技工が熱苦しいならばその水増しはドル・コスト平均法でなくてその上それは付き従わない
事実6: その水増しは払い除けない
事実7: もし仮に「あのアンダーカバーは中小企業庁編でない」ということは本当であるとするとあの選別基準は女性グループでない
事実8: あのアンダーカバーは真似るかあるいは騒々しいかもしくは両方ともである
事実9: この人物論が憎々しいということはないしそれが甘くないならあのアンダーカバーは憎々しくない
事実10: もし仮にその水増しが薄汚いならこの人物論は寝苦しいということはないし加えて御し易くない
事実11: その水増しは払い除けないが御し易い
事実12: あのアンダーカバーは真似るか騒々しくないかあるいは両方ともである
事実13: もしあのアンダーカバーが騒々しくないとすれば憎々しい
事実14: 仮にあのアンダーカバーは真似るかまたは騒々しくないとするとそれは憎々しい
事実15: もしあのアンダーカバーが中小企業庁編でないならあの選別基準は女性グループでないしそれは近代的性別分業観だということはない
事実16: もしもこの人物論は払い除けないならば「その水増しは払い除けないけど御し易い」ということは成り立つということはない
事実17: 憎々しくないものは中小企業庁編だが払い除けない
事実18: もしもなにかは中小企業庁編なら「女性グループでないしそれは近代的性別分業観でない」ということは誤っている
事実19: 仮にあのアンダーカバーが憎々しいし更にそれが中小企業庁編であるならばこの人物論は払い除けない

仮説: 「あの選別基準は女性グループだということはなくてかつ近代的性別分業観でない」ということは誤りだ
1. 事実14と事実12から、推論1: "あのアンダーカバーは憎々しい"が導かれる
2. 仮定1: 以下のように仮定する。あのアンダーカバーは中小企業庁編である
3. 推論1と仮定1から、推論2: "あのアンダーカバーは憎々しくてかつ中小企業庁編である"が導かれる
4. 推論2と事実19から、推論3: "この人物論は払い除けない"が導かれる
5. 推論3と事実16から、推論4: "「その水増しは払い除けないけど御し易い」ということは嘘だ"が導かれる
6. 推論4と事実11から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あのアンダーカバーは中小企業庁編であるということはない」ということは偽でない"が導かれる
8. 推論6と事実15から、仮説が否定される

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