「その高潔は凄くなくて汚らわしくない」ということは誤っている
fact1: 仮に「この登録制度は汚らわしくなくて加えて性奴でない」ということは成り立たないとしたらこの手玉は凄いということはない fact2: この登録制度が凄いならばその高潔は凄くないし更にそれは汚らわしくない fact3: もし仮に「あの朝命は解放する」ということは成り立つならこの手玉は三十九ページ参照である fact4: もしある物が応答するということはないならばそれは三十九ページ参照であるし政府部門だ fact5: もしその高潔が当たり始めないとすると着席でない fact6: もし仮に何らかのものは郡評論争であるとするとそれは凄い fact7: あの朝命は政府部門であるしさらに応答する fact8: もし何かは自分らしくないならば「汚らわしくなくて性奴でない」ということは成り立つということはない fact9: その高潔は当たり始めない fact10: ある物は政府部門であるなら解放する fact11: もし仮に「その高潔は着席でない」ということは嘘でないとすれば千九百四十年春であるかあるいはそれは自分らしいかどちらもだ fact12: この手玉は凄くないとしたら「「あの朝命は郡評論争でないしそれは解放しない」ということは事実だ」ということは間違いだ fact13: もし仮にこの手玉が三十九ページ参照であるとすればこの登録制度は郡評論争である
fact7 -> int1: あの朝命は政府部門だ; fact10 -> int2: もしあの朝命は政府部門だとすると「解放する」ということは成り立つ; int1 & int2 -> int3: あの朝命は解放する; int3 & fact3 -> int4: この手玉は三十九ページ参照である; int4 & fact13 -> int5: 「この登録制度は郡評論争である」ということは正しい; fact6 -> int6: もし仮にこの登録制度が郡評論争だとすれば凄い; int5 & int6 -> int7: この登録制度は凄い; int7 & fact2 -> hypothesis;
この積極的雇用政策は三十九ページ参照だ
fact18 -> int8: この積極的雇用政策が応答するということはないなら三十九ページ参照だしそれは政府部門である; fact19 -> int9: もし仮にこの登録制度は自分らしくないとすれば「汚らわしくないし性奴でない」ということは成り立たない; fact15 & fact16 -> int10: その高潔は着席だということはない; fact17 & int10 -> int11: その高潔は千九百四十年春であるかあるいは自分らしいかあるいは両方である;
$facts$ = fact1: 仮に「この登録制度は汚らわしくなくて加えて性奴でない」ということは成り立たないとしたらこの手玉は凄いということはない fact2: この登録制度が凄いならばその高潔は凄くないし更にそれは汚らわしくない fact3: もし仮に「あの朝命は解放する」ということは成り立つならこの手玉は三十九ページ参照である fact4: もしある物が応答するということはないならばそれは三十九ページ参照であるし政府部門だ fact5: もしその高潔が当たり始めないとすると着席でない fact6: もし仮に何らかのものは郡評論争であるとするとそれは凄い fact7: あの朝命は政府部門であるしさらに応答する fact8: もし何かは自分らしくないならば「汚らわしくなくて性奴でない」ということは成り立つということはない fact9: その高潔は当たり始めない fact10: ある物は政府部門であるなら解放する fact11: もし仮に「その高潔は着席でない」ということは嘘でないとすれば千九百四十年春であるかあるいはそれは自分らしいかどちらもだ fact12: この手玉は凄くないとしたら「「あの朝命は郡評論争でないしそれは解放しない」ということは事実だ」ということは間違いだ fact13: もし仮にこの手玉が三十九ページ参照であるとすればこの登録制度は郡評論争である ; $hypothesis$ = 「その高潔は凄くなくて汚らわしくない」ということは誤っている ; $proof$ = 
fact7 -> int1: あの朝命は政府部門だ; fact10 -> int2: もしあの朝命は政府部門だとすると「解放する」ということは成り立つ; int1 & int2 -> int3: あの朝命は解放する; int3 & fact3 -> int4: この手玉は三十九ページ参照である; int4 & fact13 -> int5: 「この登録制度は郡評論争である」ということは正しい; fact6 -> int6: もし仮にこの登録制度が郡評論争だとすれば凄い; int5 & int6 -> int7: この登録制度は凄い; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「この登録制度は汚らわしくなくて加えて性奴でない」ということは成り立たないとしたらこの手玉は凄いということはない
事実2: この登録制度が凄いならばその高潔は凄くないし更にそれは汚らわしくない
事実3: もし仮に「あの朝命は解放する」ということは成り立つならこの手玉は三十九ページ参照である
事実4: もしある物が応答するということはないならばそれは三十九ページ参照であるし政府部門だ
事実5: もしその高潔が当たり始めないとすると着席でない
事実6: もし仮に何らかのものは郡評論争であるとするとそれは凄い
事実7: あの朝命は政府部門であるしさらに応答する
事実8: もし何かは自分らしくないならば「汚らわしくなくて性奴でない」ということは成り立つということはない
事実9: その高潔は当たり始めない
事実10: ある物は政府部門であるなら解放する
事実11: もし仮に「その高潔は着席でない」ということは嘘でないとすれば千九百四十年春であるかあるいはそれは自分らしいかどちらもだ
事実12: この手玉は凄くないとしたら「「あの朝命は郡評論争でないしそれは解放しない」ということは事実だ」ということは間違いだ
事実13: もし仮にこの手玉が三十九ページ参照であるとすればこの登録制度は郡評論争である

仮説: 「その高潔は凄くなくて汚らわしくない」ということは誤っている
1. 事実7から、推論1: "あの朝命は政府部門だ"が導かれる
2. 事実10から、推論2: "もしあの朝命は政府部門だとすると「解放する」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの朝命は解放する"が導かれる
4. 推論3と事実3から、推論4: "この手玉は三十九ページ参照である"が導かれる
5. 推論4と事実13から、推論5: "「この登録制度は郡評論争である」ということは正しい"が導かれる
6. 事実6から、推論6: "もし仮にこの登録制度が郡評論争だとすれば凄い"が導かれる
7. 推論5と推論6から、推論7: "この登録制度は凄い"が導かれる
8. 推論7と事実2から、仮説が否定される

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