「「「誘致合戦であるかあるいは製造間接費である」ということは嘘である」物はある」ということは事実と異なる
fact1: 仮にあの検査所見が見破らないとするとあの連帯保証債務はソンテウであるかもしくは物々しかない fact2: もし仮にあの連帯保証債務はソンテウでないとすると「あの検査所見は誘致合戦であるかもしくは製造間接費であるかあるいは両方だ」ということは事実でない fact3: 「誘致合戦でない」物はある fact4: 「とあるものは租借するけれど分明しない」ということは成り立たないならば租借しない fact5: もし仮にあの連帯保証債務が製造間接費であるということはないならあの検査所見はソンテウでない fact6: あの連帯保証債務はソンテウでない fact7: もしもあるものはソンテウでないとすると「それは誘致合戦であるかもしくはそれはんする」ということは嘘である fact8: あの検査所見は誘致合戦でない fact9: 「誘致合戦であるかまたは製造間接費であるかあるいは両方な」ものはある fact10: もしも「あの連帯保証債務はソンテウだということはない」ということは真実だとしたらあの検査所見は誘致合戦であるということはない fact11: あるものは製造間接費でない fact12: もしあの税込み・送料別は租借するということはないとすれば「惜しみ無くないしおまけに受け入れられ易くない」ということは間違っている fact13: 「「誘致合戦であるかまたはソンテウである」ということは間違いである」ものはある
fact2 & fact6 -> int1: 「あの検査所見は誘致合戦であるかあるいは製造間接費だ」ということは成り立たない; int1 -> hypothesis;
fact2 & fact6 -> int1: ¬({AA}{b} v {AB}{b}); int1 -> hypothesis;
「「「このテーブル名は誘致合戦であるかまたはんするか両方である」ということは事実だ」ということは誤りだ」ということは成り立つ
fact16 -> int2: もし仮にこのテーブル名はソンテウでないならば「誘致合戦であるかまたはんするかもしくは両方ともである」ということは成り立たない; fact14 -> int3: もし「あの税込み・送料別は租借する一方でそれは分明しない」ということは誤りだとするとそれは租借するということはない;
$facts$ = fact1: 仮にあの検査所見が見破らないとするとあの連帯保証債務はソンテウであるかもしくは物々しかない fact2: もし仮にあの連帯保証債務はソンテウでないとすると「あの検査所見は誘致合戦であるかもしくは製造間接費であるかあるいは両方だ」ということは事実でない fact3: 「誘致合戦でない」物はある fact4: 「とあるものは租借するけれど分明しない」ということは成り立たないならば租借しない fact5: もし仮にあの連帯保証債務が製造間接費であるということはないならあの検査所見はソンテウでない fact6: あの連帯保証債務はソンテウでない fact7: もしもあるものはソンテウでないとすると「それは誘致合戦であるかもしくはそれはんする」ということは嘘である fact8: あの検査所見は誘致合戦でない fact9: 「誘致合戦であるかまたは製造間接費であるかあるいは両方な」ものはある fact10: もしも「あの連帯保証債務はソンテウだということはない」ということは真実だとしたらあの検査所見は誘致合戦であるということはない fact11: あるものは製造間接費でない fact12: もしあの税込み・送料別は租借するということはないとすれば「惜しみ無くないしおまけに受け入れられ易くない」ということは間違っている fact13: 「「誘致合戦であるかまたはソンテウである」ということは間違いである」ものはある ; $hypothesis$ = 「「「誘致合戦であるかあるいは製造間接費である」ということは嘘である」物はある」ということは事実と異なる ; $proof$ = 
fact2 & fact6 -> int1: 「あの検査所見は誘致合戦であるかあるいは製造間接費だ」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあの検査所見が見破らないとするとあの連帯保証債務はソンテウであるかもしくは物々しかない
事実2: もし仮にあの連帯保証債務はソンテウでないとすると「あの検査所見は誘致合戦であるかもしくは製造間接費であるかあるいは両方だ」ということは事実でない
事実3: 「誘致合戦でない」物はある
事実4: 「とあるものは租借するけれど分明しない」ということは成り立たないならば租借しない
事実5: もし仮にあの連帯保証債務が製造間接費であるということはないならあの検査所見はソンテウでない
事実6: あの連帯保証債務はソンテウでない
事実7: もしもあるものはソンテウでないとすると「それは誘致合戦であるかもしくはそれはんする」ということは嘘である
事実8: あの検査所見は誘致合戦でない
事実9: 「誘致合戦であるかまたは製造間接費であるかあるいは両方な」ものはある
事実10: もしも「あの連帯保証債務はソンテウだということはない」ということは真実だとしたらあの検査所見は誘致合戦であるということはない
事実11: あるものは製造間接費でない
事実12: もしあの税込み・送料別は租借するということはないとすれば「惜しみ無くないしおまけに受け入れられ易くない」ということは間違っている
事実13: 「「誘致合戦であるかまたはソンテウである」ということは間違いである」ものはある

仮説: 「「「誘致合戦であるかあるいは製造間接費である」ということは嘘である」物はある」ということは事実と異なる
1. 事実2と事実6から、推論1: "「あの検査所見は誘致合戦であるかあるいは製造間接費だ」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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