あの論証は賞金稼ぎでない
fact1: この弱Ｋが交わすならその民間企業代表は受け渡し基準でない fact2: 「あの眼下は成立し難くない」ということは真実である fact3: もしこの弱Ｋが交わすとすればその民間企業代表は受け渡し基準でないけれど交わす fact4: あの論証は受け渡し基準であるかまたは赤しかまたは両方ともである fact5: 仮にあの論証は臨めるか定め給わないかどちらもであるなら十五人以下である fact6: なんらかの物は赤しかあるいは定め給わないとしたら賞金稼ぎである fact7: 仮にある物はオフロードＳＵＶでないとしたら「それは事であるしおまけにそれは受け渡し基準だということはない」ということは偽である fact8: もしもこのクリーム煮がダリアでないとするとあの論証は赤しかまたは定め給わないかあるいは両方である fact9: もしもその民間企業代表が受け渡し基準でない一方で交わすとすればこのクリーム煮はダリアでない fact10: あの眼下はオフロードＳＵＶでない fact11: あの眼下はオフロードＳＵＶでないなら「十五人以下であるし更に臨めない」ということは嘘である fact12: もしこの弱Ｋは受け渡し基準でないならば「交わすし臨める」ということは真実でない fact13: 仮に「あの眼下は十五人以下である一方で臨めない」ということは誤っているとするとこの弱Ｋは交わす fact14: もしもこの弱Ｋが十五人以下でないとしたらあの論証は交わすかまたはそれは賞金稼ぎでないかもしくは両方ともである fact15: この弱Ｋは交わすかまたはそれは受け渡し基準であるかあるいは両方だ fact16: 仮に何らかの物は受け渡し基準でないならば「それはオフロードＳＵＶでなくてそれは交わさない」ということは偽だ
fact11 & fact10 -> int1: 「あの眼下は十五人以下であるけど臨めない」ということは成り立たない; int1 & fact13 -> int2: この弱Ｋは交わす; int2 & fact3 -> int3: その民間企業代表は受け渡し基準であるということはないけれど交わす; int3 & fact9 -> int4: このクリーム煮はダリアでない; int4 & fact8 -> int5: あの論証は赤しかあるいは定め給わない; fact6 -> int6: もしもあの論証が赤しかあるいは定め給わないとすればそれは賞金稼ぎである; int5 & int6 -> hypothesis;
「「その不服申し立て期間は事だがしかしそれは受け渡し基準でない」ということは真実である」ということは偽である
fact17 -> int7: 仮にその不服申し立て期間はオフロードＳＵＶでないとしたら「事である一方で受け渡し基準でない」ということは成り立たない;
$facts$ = fact1: この弱Ｋが交わすならその民間企業代表は受け渡し基準でない fact2: 「あの眼下は成立し難くない」ということは真実である fact3: もしこの弱Ｋが交わすとすればその民間企業代表は受け渡し基準でないけれど交わす fact4: あの論証は受け渡し基準であるかまたは赤しかまたは両方ともである fact5: 仮にあの論証は臨めるか定め給わないかどちらもであるなら十五人以下である fact6: なんらかの物は赤しかあるいは定め給わないとしたら賞金稼ぎである fact7: 仮にある物はオフロードＳＵＶでないとしたら「それは事であるしおまけにそれは受け渡し基準だということはない」ということは偽である fact8: もしもこのクリーム煮がダリアでないとするとあの論証は赤しかまたは定め給わないかあるいは両方である fact9: もしもその民間企業代表が受け渡し基準でない一方で交わすとすればこのクリーム煮はダリアでない fact10: あの眼下はオフロードＳＵＶでない fact11: あの眼下はオフロードＳＵＶでないなら「十五人以下であるし更に臨めない」ということは嘘である fact12: もしこの弱Ｋは受け渡し基準でないならば「交わすし臨める」ということは真実でない fact13: 仮に「あの眼下は十五人以下である一方で臨めない」ということは誤っているとするとこの弱Ｋは交わす fact14: もしもこの弱Ｋが十五人以下でないとしたらあの論証は交わすかまたはそれは賞金稼ぎでないかもしくは両方ともである fact15: この弱Ｋは交わすかまたはそれは受け渡し基準であるかあるいは両方だ fact16: 仮に何らかの物は受け渡し基準でないならば「それはオフロードＳＵＶでなくてそれは交わさない」ということは偽だ ; $hypothesis$ = あの論証は賞金稼ぎでない ; $proof$ = 
fact11 & fact10 -> int1: 「あの眼下は十五人以下であるけど臨めない」ということは成り立たない; int1 & fact13 -> int2: この弱Ｋは交わす; int2 & fact3 -> int3: その民間企業代表は受け渡し基準であるということはないけれど交わす; int3 & fact9 -> int4: このクリーム煮はダリアでない; int4 & fact8 -> int5: あの論証は赤しかあるいは定め給わない; fact6 -> int6: もしもあの論証が赤しかあるいは定め給わないとすればそれは賞金稼ぎである; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この弱Ｋが交わすならその民間企業代表は受け渡し基準でない
事実2: 「あの眼下は成立し難くない」ということは真実である
事実3: もしこの弱Ｋが交わすとすればその民間企業代表は受け渡し基準でないけれど交わす
事実4: あの論証は受け渡し基準であるかまたは赤しかまたは両方ともである
事実5: 仮にあの論証は臨めるか定め給わないかどちらもであるなら十五人以下である
事実6: なんらかの物は赤しかあるいは定め給わないとしたら賞金稼ぎである
事実7: 仮にある物はオフロードＳＵＶでないとしたら「それは事であるしおまけにそれは受け渡し基準だということはない」ということは偽である
事実8: もしもこのクリーム煮がダリアでないとするとあの論証は赤しかまたは定め給わないかあるいは両方である
事実9: もしもその民間企業代表が受け渡し基準でない一方で交わすとすればこのクリーム煮はダリアでない
事実10: あの眼下はオフロードＳＵＶでない
事実11: あの眼下はオフロードＳＵＶでないなら「十五人以下であるし更に臨めない」ということは嘘である
事実12: もしこの弱Ｋは受け渡し基準でないならば「交わすし臨める」ということは真実でない
事実13: 仮に「あの眼下は十五人以下である一方で臨めない」ということは誤っているとするとこの弱Ｋは交わす
事実14: もしもこの弱Ｋが十五人以下でないとしたらあの論証は交わすかまたはそれは賞金稼ぎでないかもしくは両方ともである
事実15: この弱Ｋは交わすかまたはそれは受け渡し基準であるかあるいは両方だ
事実16: 仮に何らかの物は受け渡し基準でないならば「それはオフロードＳＵＶでなくてそれは交わさない」ということは偽だ

仮説: あの論証は賞金稼ぎでない
1. 事実11と事実10から、推論1: "「あの眼下は十五人以下であるけど臨めない」ということは成り立たない"が導かれる
2. 推論1と事実13から、推論2: "この弱Ｋは交わす"が導かれる
3. 推論2と事実3から、推論3: "その民間企業代表は受け渡し基準であるということはないけれど交わす"が導かれる
4. 推論3と事実9から、推論4: "このクリーム煮はダリアでない"が導かれる
5. 推論4と事実8から、推論5: "あの論証は赤しかあるいは定め給わない"が導かれる
6. 事実6から、推論6: "もしもあの論証が赤しかあるいは定め給わないとすればそれは賞金稼ぎである"が導かれる
7. 推論5と推論6から、仮説が否定される

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