「なにがしかのものは吉田町屎尿・塵処理場事件でそれに障害給付金だ」ということは成り立つということはない
fact1: もしもあの診断精度が銀行家でないとすればその西洋諸国は効果無しである fact2: なにがしかのものは効果無しであるかもしくはそれは期待し難いか両方だ fact3: あのドーピング検査は障害給付金だ fact4: 「もしあのガンＧ‐ＨＯ‐ガンＳは侵入し易いとすれば「あの診断精度は吉田町屎尿・塵処理場事件でないかあるいはそれはプロらしくない」ということは成り立つ」ということは真実だ fact5: 「もし仮にあのガンＧ‐ＨＯ‐ガンＳは侵入し易いなら「その西洋諸国は期待し難くないかもしくはそれは銀行家でないかどちらもだ」ということは成り立つ」ということは誤りでない fact6: 仮に「その豪はプロらしくない」ということは成り立つとしたらあの診断精度はプロらしいしまた効果無しである fact7: 「銀行家である」物はある fact8: 仮にその西洋諸国が銀行家でないとすればあのドーピング検査は吉田町屎尿・塵処理場事件だ fact9: あのドーピング検査は馬鹿でかくない fact10: もし仮に「その西洋諸国は期待し難いということはない」ということは成り立つならあのドーピング検査は吉田町屎尿・塵処理場事件である fact11: なにかは本件自動車でないかもしくはそれは自主防災組織だ fact12: なんらかの物がプロらしいということはないとするとその豪は効果無しでない fact13: もし仮になんらかの物が本件自動車でないかあるいはそれが自主防災組織であるとすればあの豪はプロらしくない fact14: もし仮にあの診断精度が効果無しならあのガンＧ‐ＨＯ‐ガンＳは侵入し易い fact15: その形式化は七年判決であるし更に銀行家である fact16: あの診断精度は本件自動車だ fact17: あのドーピング検査が吉田町屎尿・塵処理場事件でないとするとその西洋諸国は吉田町屎尿・塵処理場事件だ fact18: 「期待し難くてプロらしい」ものはある
fact11 & fact13 -> int1: その豪はプロらしいということはない; int1 & fact6 -> int2: あの診断精度はプロらしいし効果無しである; int2 -> int3: あの診断精度は効果無しである; int3 & fact14 -> int4: あのガンＧ‐ＨＯ‐ガンＳは侵入し易い; int4 & fact5 -> int5: その西洋諸国は期待し難くないかまたはそれは銀行家でない; int5 & fact10 & fact8 -> int6: あのドーピング検査は吉田町屎尿・塵処理場事件である; int6 & fact3 -> int7: あのドーピング検査が吉田町屎尿・塵処理場事件だししかも障害給付金である; int7 -> hypothesis;
$facts$ = fact1: もしもあの診断精度が銀行家でないとすればその西洋諸国は効果無しである fact2: なにがしかのものは効果無しであるかもしくはそれは期待し難いか両方だ fact3: あのドーピング検査は障害給付金だ fact4: 「もしあのガンＧ‐ＨＯ‐ガンＳは侵入し易いとすれば「あの診断精度は吉田町屎尿・塵処理場事件でないかあるいはそれはプロらしくない」ということは成り立つ」ということは真実だ fact5: 「もし仮にあのガンＧ‐ＨＯ‐ガンＳは侵入し易いなら「その西洋諸国は期待し難くないかもしくはそれは銀行家でないかどちらもだ」ということは成り立つ」ということは誤りでない fact6: 仮に「その豪はプロらしくない」ということは成り立つとしたらあの診断精度はプロらしいしまた効果無しである fact7: 「銀行家である」物はある fact8: 仮にその西洋諸国が銀行家でないとすればあのドーピング検査は吉田町屎尿・塵処理場事件だ fact9: あのドーピング検査は馬鹿でかくない fact10: もし仮に「その西洋諸国は期待し難いということはない」ということは成り立つならあのドーピング検査は吉田町屎尿・塵処理場事件である fact11: なにかは本件自動車でないかもしくはそれは自主防災組織だ fact12: なんらかの物がプロらしいということはないとするとその豪は効果無しでない fact13: もし仮になんらかの物が本件自動車でないかあるいはそれが自主防災組織であるとすればあの豪はプロらしくない fact14: もし仮にあの診断精度が効果無しならあのガンＧ‐ＨＯ‐ガンＳは侵入し易い fact15: その形式化は七年判決であるし更に銀行家である fact16: あの診断精度は本件自動車だ fact17: あのドーピング検査が吉田町屎尿・塵処理場事件でないとするとその西洋諸国は吉田町屎尿・塵処理場事件だ fact18: 「期待し難くてプロらしい」ものはある ; $hypothesis$ = 「なにがしかのものは吉田町屎尿・塵処理場事件でそれに障害給付金だ」ということは成り立つということはない ; $proof$ = 
fact11 & fact13 -> int1: その豪はプロらしいということはない; int1 & fact6 -> int2: あの診断精度はプロらしいし効果無しである; int2 -> int3: あの診断精度は効果無しである; int3 & fact14 -> int4: あのガンＧ‐ＨＯ‐ガンＳは侵入し易い; int4 & fact5 -> int5: その西洋諸国は期待し難くないかまたはそれは銀行家でない; int5 & fact10 & fact8 -> int6: あのドーピング検査は吉田町屎尿・塵処理場事件である; int6 & fact3 -> int7: あのドーピング検査が吉田町屎尿・塵処理場事件だししかも障害給付金である; int7 -> hypothesis; __DISPROVED__
事実1: もしもあの診断精度が銀行家でないとすればその西洋諸国は効果無しである
事実2: なにがしかのものは効果無しであるかもしくはそれは期待し難いか両方だ
事実3: あのドーピング検査は障害給付金だ
事実4: 「もしあのガンＧ‐ＨＯ‐ガンＳは侵入し易いとすれば「あの診断精度は吉田町屎尿・塵処理場事件でないかあるいはそれはプロらしくない」ということは成り立つ」ということは真実だ
事実5: 「もし仮にあのガンＧ‐ＨＯ‐ガンＳは侵入し易いなら「その西洋諸国は期待し難くないかもしくはそれは銀行家でないかどちらもだ」ということは成り立つ」ということは誤りでない
事実6: 仮に「その豪はプロらしくない」ということは成り立つとしたらあの診断精度はプロらしいしまた効果無しである
事実7: 「銀行家である」物はある
事実8: 仮にその西洋諸国が銀行家でないとすればあのドーピング検査は吉田町屎尿・塵処理場事件だ
事実9: あのドーピング検査は馬鹿でかくない
事実10: もし仮に「その西洋諸国は期待し難いということはない」ということは成り立つならあのドーピング検査は吉田町屎尿・塵処理場事件である
事実11: なにかは本件自動車でないかもしくはそれは自主防災組織だ
事実12: なんらかの物がプロらしいということはないとするとその豪は効果無しでない
事実13: もし仮になんらかの物が本件自動車でないかあるいはそれが自主防災組織であるとすればあの豪はプロらしくない
事実14: もし仮にあの診断精度が効果無しならあのガンＧ‐ＨＯ‐ガンＳは侵入し易い
事実15: その形式化は七年判決であるし更に銀行家である
事実16: あの診断精度は本件自動車だ
事実17: あのドーピング検査が吉田町屎尿・塵処理場事件でないとするとその西洋諸国は吉田町屎尿・塵処理場事件だ
事実18: 「期待し難くてプロらしい」ものはある

仮説: 「なにがしかのものは吉田町屎尿・塵処理場事件でそれに障害給付金だ」ということは成り立つということはない
1. 事実11と事実13から、推論1: "その豪はプロらしいということはない"が導かれる
2. 推論1と事実6から、推論2: "あの診断精度はプロらしいし効果無しである"が導かれる
3. 推論2から、推論3: "あの診断精度は効果無しである"が導かれる
4. 推論3と事実14から、推論4: "あのガンＧ‐ＨＯ‐ガンＳは侵入し易い"が導かれる
5. 推論4と事実5から、推論5: "その西洋諸国は期待し難くないかまたはそれは銀行家でない"が導かれる
6. 推論5と事実10と事実8から、推論6: "あのドーピング検査は吉田町屎尿・塵処理場事件である"が導かれる
7. 推論6と事実3から、推論7: "あのドーピング検査が吉田町屎尿・塵処理場事件だししかも障害給付金である"が導かれる
8. 推論7から、仮説が否定される

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