「「「労労じということはないけれどオブＦだ」ということは間違いな」ものはある」ということは事実と異なる
fact1: そのテスト結果はウィンドゥーＷでない fact2: その夜霧はオブＦだ fact3: あの愁嘆は見知る fact4: そのテスト結果は労労じ fact5: 仮にある物はオブＦでないしおまけに撮影しないならそれは労労じない fact6: そのテスト結果はオブＦだ fact7: 「「刷り込むし更に同乗する」ということは成り立たない」ものはある fact8: 「「「神明様でなくて更に居為さる」ということは間違いでない」ということは成り立つということはない」物はある fact9: 「「掛け易くてかつ滑走する」ということは間違いである」物はある
void -> assump1: 以下のように仮定する。そのテスト結果は労労じということはないがオブＦである; assump1 -> int1: そのテスト結果は労労じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのテスト結果は労労じないけれどオブＦである」ということは成り立たない; int3 -> hypothesis;
この川岸段丘上は労労じない
fact10 -> int4: もし仮にこの川岸段丘上がオブＦでないしそれが撮影しないとすれば労労じない;
$facts$ = fact1: そのテスト結果はウィンドゥーＷでない fact2: その夜霧はオブＦだ fact3: あの愁嘆は見知る fact4: そのテスト結果は労労じ fact5: 仮にある物はオブＦでないしおまけに撮影しないならそれは労労じない fact6: そのテスト結果はオブＦだ fact7: 「「刷り込むし更に同乗する」ということは成り立たない」ものはある fact8: 「「「神明様でなくて更に居為さる」ということは間違いでない」ということは成り立つということはない」物はある fact9: 「「掛け易くてかつ滑走する」ということは間違いである」物はある ; $hypothesis$ = 「「「労労じということはないけれどオブＦだ」ということは間違いな」ものはある」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのテスト結果は労労じということはないがオブＦである; assump1 -> int1: そのテスト結果は労労じない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのテスト結果は労労じないけれどオブＦである」ということは成り立たない; int3 -> hypothesis; __DISPROVED__
事実1: そのテスト結果はウィンドゥーＷでない
事実2: その夜霧はオブＦだ
事実3: あの愁嘆は見知る
事実4: そのテスト結果は労労じ
事実5: 仮にある物はオブＦでないしおまけに撮影しないならそれは労労じない
事実6: そのテスト結果はオブＦだ
事実7: 「「刷り込むし更に同乗する」ということは成り立たない」ものはある
事実8: 「「「神明様でなくて更に居為さる」ということは間違いでない」ということは成り立つということはない」物はある
事実9: 「「掛け易くてかつ滑走する」ということは間違いである」物はある

仮説: 「「「労労じということはないけれどオブＦだ」ということは間違いな」ものはある」ということは事実と異なる
1. 仮定1: 以下のように仮定する。そのテスト結果は労労じということはないがオブＦである
2. 仮定1から、推論1: "そのテスト結果は労労じない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのテスト結果は労労じないけれどオブＦである」ということは成り立たない"が導かれる
5. 推論3から、仮説が否定される

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