「その妥協は受注生産でないかまたは機能し始めないかあるいは両方だ」ということは偽である
fact1: もし何らかのものがハイテク企業であるかあるいはそれが作用物質だとするととろくない fact2: とろくないものは受注生産でないかもしくは機能し始めないかあるいはどちらもである fact3: もし仮にその使用可が責め立てないならそれは弱しかもしくはそれは作用物質でない fact4: 仮に「なにかはハイテク企業だということはない」ということは正しいとしたら「それは受注生産でないかあるいは機能し始めないか両方ともである」ということは誤りだ fact5: あの水上航走は悪戯するがＦＭＰでない fact6: その妥協は作用物質だ fact7: もしあるものがとろくないとするとそれは受注生産でないかあるいは機能し始めるかまたは両方だ fact8: その妥協は受注生産でないかもしくは機能し始めるかどちらもだ fact9: ハイテク企業はとろくない fact10: もしもその妥協がとろくないとしたらそれは受注生産であるかまたは機能し始めないか両方である fact11: その妥協は受注生産であるかあるいは機能し始めない fact12: とろくない物は受注生産であるかもしくは機能し始めるということはない fact13: もしその妥協はハイテク企業だとすれば「とろくない」ということは本当である fact14: その妥協がとろくないなら受注生産でないかあるいは機能し始めるかどちらもである
fact6 -> int1: その妥協はハイテク企業であるか作用物質だ; fact1 -> int2: もしその妥協がハイテク企業であるかもしくは作用物質であるならばとろくない; int1 & int2 -> int3: その妥協はとろいということはない; fact2 -> int4: もし仮にその妥協がとろいということはないとすればそれは受注生産でないかまたは機能し始めないかあるいは両方である; int3 & int4 -> hypothesis;
「その妥協は受注生産だということはないか機能し始めない」ということは誤っている
fact15 -> int5: もし仮にその妥協はハイテク企業でないとすれば「受注生産でないかあるいは機能し始めないかもしくは両方だ」ということは間違っている; fact16 -> int6: あの水上航走はＦＭＰであるということはない; int6 -> int7: 「ＦＭＰでない」ものはある;
$facts$ = fact1: もし何らかのものがハイテク企業であるかあるいはそれが作用物質だとするととろくない fact2: とろくないものは受注生産でないかもしくは機能し始めないかあるいはどちらもである fact3: もし仮にその使用可が責め立てないならそれは弱しかもしくはそれは作用物質でない fact4: 仮に「なにかはハイテク企業だということはない」ということは正しいとしたら「それは受注生産でないかあるいは機能し始めないか両方ともである」ということは誤りだ fact5: あの水上航走は悪戯するがＦＭＰでない fact6: その妥協は作用物質だ fact7: もしあるものがとろくないとするとそれは受注生産でないかあるいは機能し始めるかまたは両方だ fact8: その妥協は受注生産でないかもしくは機能し始めるかどちらもだ fact9: ハイテク企業はとろくない fact10: もしもその妥協がとろくないとしたらそれは受注生産であるかまたは機能し始めないか両方である fact11: その妥協は受注生産であるかあるいは機能し始めない fact12: とろくない物は受注生産であるかもしくは機能し始めるということはない fact13: もしその妥協はハイテク企業だとすれば「とろくない」ということは本当である fact14: その妥協がとろくないなら受注生産でないかあるいは機能し始めるかどちらもである ; $hypothesis$ = 「その妥協は受注生産でないかまたは機能し始めないかあるいは両方だ」ということは偽である ; $proof$ = 
fact6 -> int1: その妥協はハイテク企業であるか作用物質だ; fact1 -> int2: もしその妥協がハイテク企業であるかもしくは作用物質であるならばとろくない; int1 & int2 -> int3: その妥協はとろいということはない; fact2 -> int4: もし仮にその妥協がとろいということはないとすればそれは受注生産でないかまたは機能し始めないかあるいは両方である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし何らかのものがハイテク企業であるかあるいはそれが作用物質だとするととろくない
事実2: とろくないものは受注生産でないかもしくは機能し始めないかあるいはどちらもである
事実3: もし仮にその使用可が責め立てないならそれは弱しかもしくはそれは作用物質でない
事実4: 仮に「なにかはハイテク企業だということはない」ということは正しいとしたら「それは受注生産でないかあるいは機能し始めないか両方ともである」ということは誤りだ
事実5: あの水上航走は悪戯するがＦＭＰでない
事実6: その妥協は作用物質だ
事実7: もしあるものがとろくないとするとそれは受注生産でないかあるいは機能し始めるかまたは両方だ
事実8: その妥協は受注生産でないかもしくは機能し始めるかどちらもだ
事実9: ハイテク企業はとろくない
事実10: もしもその妥協がとろくないとしたらそれは受注生産であるかまたは機能し始めないか両方である
事実11: その妥協は受注生産であるかあるいは機能し始めない
事実12: とろくない物は受注生産であるかもしくは機能し始めるということはない
事実13: もしその妥協はハイテク企業だとすれば「とろくない」ということは本当である
事実14: その妥協がとろくないなら受注生産でないかあるいは機能し始めるかどちらもである

仮説: 「その妥協は受注生産でないかまたは機能し始めないかあるいは両方だ」ということは偽である
1. 事実6から、推論1: "その妥協はハイテク企業であるか作用物質だ"が導かれる
2. 事実1から、推論2: "もしその妥協がハイテク企業であるかもしくは作用物質であるならばとろくない"が導かれる
3. 推論1と推論2から、推論3: "その妥協はとろいということはない"が導かれる
4. 事実2から、推論4: "もし仮にその妥協がとろいということはないとすればそれは受注生産でないかまたは機能し始めないかあるいは両方である"が導かれる
5. 推論3と推論4から、仮説が否定される

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