そのコヨーテは黴臭い
fact1: 「そのコヨーテは切り易い」ということは誤っていないとしたら小煩いかそれは五発でないかまたはどちらもである fact2: そのコヨーテは身体的健康だ fact3: もし仮にその人間中心主義が切り易いならばあの先進諸国市場は五発だ fact4: もし何かは常傭でないとするとそれは身体的健康でない fact5: そのコヨーテは切り易い fact6: このアロハシャツは給付建てである fact7: 仮に何かは小煩いかもしくはそれは五発でないならば諂わない fact8: もしなにかは併行しなくて更に内野安打でないならそれは切り易い fact9: もし仮に「なにがしかの物は黴臭いがしかし給付建てでない」ということは誤っているとすると諂う fact10: もし仮にその先進諸国市場が五発であるならばそれは小煩くなくてそれに諂う
fact9 -> int1: もし仮に「「そのコヨーテは黴臭いけれど給付建てでない」ということは本当だ」ということは事実でないとすれば諂う; void -> assump1: 以下のように仮定する。「そのコヨーテは黴臭いが給付建てでない」ということは成り立たない; int1 & assump1 -> int2: そのコヨーテは諂う; fact5 & fact1 -> int3: そのコヨーテは小煩いかまたはそれは五発でないかまたは両方だ; fact7 -> int4: もしそのコヨーテは小煩いかまたは五発でないかあるいはどちらもだとすればそれは諂わない; int3 & int4 -> int5: そのコヨーテは諂わない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのコヨーテは黴臭い一方でそれは給付建てでない; int7 -> hypothesis;
その先進諸国市場は小煩いということはない
fact12 -> int8: 仮にその人間中心主義は併行しないし内野安打であるということはないとしたら切り易い;
$facts$ = fact1: 「そのコヨーテは切り易い」ということは誤っていないとしたら小煩いかそれは五発でないかまたはどちらもである fact2: そのコヨーテは身体的健康だ fact3: もし仮にその人間中心主義が切り易いならばあの先進諸国市場は五発だ fact4: もし何かは常傭でないとするとそれは身体的健康でない fact5: そのコヨーテは切り易い fact6: このアロハシャツは給付建てである fact7: 仮に何かは小煩いかもしくはそれは五発でないならば諂わない fact8: もしなにかは併行しなくて更に内野安打でないならそれは切り易い fact9: もし仮に「なにがしかの物は黴臭いがしかし給付建てでない」ということは誤っているとすると諂う fact10: もし仮にその先進諸国市場が五発であるならばそれは小煩くなくてそれに諂う ; $hypothesis$ = そのコヨーテは黴臭い ; $proof$ = 
fact9 -> int1: もし仮に「「そのコヨーテは黴臭いけれど給付建てでない」ということは本当だ」ということは事実でないとすれば諂う; void -> assump1: 以下のように仮定する。「そのコヨーテは黴臭いが給付建てでない」ということは成り立たない; int1 & assump1 -> int2: そのコヨーテは諂う; fact5 & fact1 -> int3: そのコヨーテは小煩いかまたはそれは五発でないかまたは両方だ; fact7 -> int4: もしそのコヨーテは小煩いかまたは五発でないかあるいはどちらもだとすればそれは諂わない; int3 & int4 -> int5: そのコヨーテは諂わない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのコヨーテは黴臭い一方でそれは給付建てでない; int7 -> hypothesis; __PROVED__
事実1: 「そのコヨーテは切り易い」ということは誤っていないとしたら小煩いかそれは五発でないかまたはどちらもである
事実2: そのコヨーテは身体的健康だ
事実3: もし仮にその人間中心主義が切り易いならばあの先進諸国市場は五発だ
事実4: もし何かは常傭でないとするとそれは身体的健康でない
事実5: そのコヨーテは切り易い
事実6: このアロハシャツは給付建てである
事実7: 仮に何かは小煩いかもしくはそれは五発でないならば諂わない
事実8: もしなにかは併行しなくて更に内野安打でないならそれは切り易い
事実9: もし仮に「なにがしかの物は黴臭いがしかし給付建てでない」ということは誤っているとすると諂う
事実10: もし仮にその先進諸国市場が五発であるならばそれは小煩くなくてそれに諂う

仮説: そのコヨーテは黴臭い
1. 事実9から、推論1: "もし仮に「「そのコヨーテは黴臭いけれど給付建てでない」ということは本当だ」ということは事実でないとすれば諂う"が導かれる
2. 仮定1: 以下のように仮定する。「そのコヨーテは黴臭いが給付建てでない」ということは成り立たない
3. 推論1と仮定1から、推論2: "そのコヨーテは諂う"が導かれる
4. 事実5と事実1から、推論3: "そのコヨーテは小煩いかまたはそれは五発でないかまたは両方だ"が導かれる
5. 事実7から、推論4: "もしそのコヨーテは小煩いかまたは五発でないかあるいはどちらもだとすればそれは諂わない"が導かれる
6. 推論3と推論4から、推論5: "そのコヨーテは諂わない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのコヨーテは黴臭い一方でそれは給付建てでない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。