「その基本ソフトウェアは剥げ掛かるけど産駒でない」ということは誤っている
fact1: もしこの雇用者側が産駒であるということはないならその基本ソフトウェアは剥げ掛かるが産駒でない fact2: もしこの雇用者側が産駒でないならその基本ソフトウェアは剥げ掛かる fact3: もしもなんらかの物は一団地だとすれば「剥げ掛かるしその上それは産駒でない」ということは間違いである fact4: もしもあの定期船企業が一団地でないならこの雇用者側は産駒でない fact5: 「その一週間分は明る過ぎるがしかし南京上空でない」ということは嘘だ fact6: もし仮に「その一週間分は明る過ぎるということはないし更に南京上空でない」ということは嘘ならあの定期船企業は一団地でない fact7: その基本ソフトウェアは剥げ掛かる fact8: その一週間分が一団地だとしたらその基本ソフトウェアは一団地だ fact9: その基本ソフトウェアは南京上空でない fact10: 仮にその一週間分が明る過ぎるとすればあの定期船企業は一団地でない fact11: 「その一週間分は明る過ぎないししかもそれは南京上空でない」ということは成り立たない
fact6 & fact11 -> int1: あの定期船企業は一団地だということはない; int1 & fact4 -> int2: 「この雇用者側は産駒でない」ということは真実だ; int2 & fact1 -> hypothesis;
「その基本ソフトウェアは剥げ掛かるが産駒でない」ということは偽である
fact12 -> int3: 仮にその基本ソフトウェアは一団地だとすれば「それは剥げ掛かるしさらにそれは産駒でない」ということは成り立たない;
$facts$ = fact1: もしこの雇用者側が産駒であるということはないならその基本ソフトウェアは剥げ掛かるが産駒でない fact2: もしこの雇用者側が産駒でないならその基本ソフトウェアは剥げ掛かる fact3: もしもなんらかの物は一団地だとすれば「剥げ掛かるしその上それは産駒でない」ということは間違いである fact4: もしもあの定期船企業が一団地でないならこの雇用者側は産駒でない fact5: 「その一週間分は明る過ぎるがしかし南京上空でない」ということは嘘だ fact6: もし仮に「その一週間分は明る過ぎるということはないし更に南京上空でない」ということは嘘ならあの定期船企業は一団地でない fact7: その基本ソフトウェアは剥げ掛かる fact8: その一週間分が一団地だとしたらその基本ソフトウェアは一団地だ fact9: その基本ソフトウェアは南京上空でない fact10: 仮にその一週間分が明る過ぎるとすればあの定期船企業は一団地でない fact11: 「その一週間分は明る過ぎないししかもそれは南京上空でない」ということは成り立たない ; $hypothesis$ = 「その基本ソフトウェアは剥げ掛かるけど産駒でない」ということは誤っている ; $proof$ = 
fact6 & fact11 -> int1: あの定期船企業は一団地だということはない; int1 & fact4 -> int2: 「この雇用者側は産駒でない」ということは真実だ; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの雇用者側が産駒であるということはないならその基本ソフトウェアは剥げ掛かるが産駒でない
事実2: もしこの雇用者側が産駒でないならその基本ソフトウェアは剥げ掛かる
事実3: もしもなんらかの物は一団地だとすれば「剥げ掛かるしその上それは産駒でない」ということは間違いである
事実4: もしもあの定期船企業が一団地でないならこの雇用者側は産駒でない
事実5: 「その一週間分は明る過ぎるがしかし南京上空でない」ということは嘘だ
事実6: もし仮に「その一週間分は明る過ぎるということはないし更に南京上空でない」ということは嘘ならあの定期船企業は一団地でない
事実7: その基本ソフトウェアは剥げ掛かる
事実8: その一週間分が一団地だとしたらその基本ソフトウェアは一団地だ
事実9: その基本ソフトウェアは南京上空でない
事実10: 仮にその一週間分が明る過ぎるとすればあの定期船企業は一団地でない
事実11: 「その一週間分は明る過ぎないししかもそれは南京上空でない」ということは成り立たない

仮説: 「その基本ソフトウェアは剥げ掛かるけど産駒でない」ということは誤っている
1. 事実6と事実11から、推論1: "あの定期船企業は一団地だということはない"が導かれる
2. 推論1と事実4から、推論2: "「この雇用者側は産駒でない」ということは真実だ"が導かれる
3. 推論2と事実1から、仮説が否定される

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