この出場機会は戻り易いということはない
fact1: すべてのものは甲烏賊でない fact2: このホットスポット・トラックは邦訳する fact3: もしあの弥勒経典が厚ぼったくないならばこの出場機会は観音像でないしさらに戻り易くない fact4: もし仮になにがしかのものは鹹でないなら消臭する fact5: もしこの出場機会が厚ぼったいなら戻り易い fact6: 全ての物は観音像でない fact7: もし仮になにがしかのものは手掛け始めないとしたら「それは削除する」ということは成り立つ fact8: もしこの出場機会は鹹でないなら切り口上である fact9: この出場機会は鹹でない fact10: この米国特許権は厚ぼったい fact11: もしもとあるものは観音像であるということはないとしたら厚ぼったい fact12: もし「このゴリラは付き易い」ということは成り立たないならば「それは厚ぼったくなくてそれに獣染みる」ということは正しくない
fact6 -> int1: この出場機会は観音像でない; fact11 -> int2: 仮にこの出場機会は観音像でないとしたらそれは厚ぼったい; int1 & int2 -> int3: 「この出場機会は厚ぼったい」ということは真実である; int3 & fact5 -> hypothesis;
「この出場機会は戻り易くない」ということは成り立つ
$facts$ = fact1: すべてのものは甲烏賊でない fact2: このホットスポット・トラックは邦訳する fact3: もしあの弥勒経典が厚ぼったくないならばこの出場機会は観音像でないしさらに戻り易くない fact4: もし仮になにがしかのものは鹹でないなら消臭する fact5: もしこの出場機会が厚ぼったいなら戻り易い fact6: 全ての物は観音像でない fact7: もし仮になにがしかのものは手掛け始めないとしたら「それは削除する」ということは成り立つ fact8: もしこの出場機会は鹹でないなら切り口上である fact9: この出場機会は鹹でない fact10: この米国特許権は厚ぼったい fact11: もしもとあるものは観音像であるということはないとしたら厚ぼったい fact12: もし「このゴリラは付き易い」ということは成り立たないならば「それは厚ぼったくなくてそれに獣染みる」ということは正しくない ; $hypothesis$ = この出場機会は戻り易いということはない ; $proof$ = 
fact6 -> int1: この出場機会は観音像でない; fact11 -> int2: 仮にこの出場機会は観音像でないとしたらそれは厚ぼったい; int1 & int2 -> int3: 「この出場機会は厚ぼったい」ということは真実である; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: すべてのものは甲烏賊でない
事実2: このホットスポット・トラックは邦訳する
事実3: もしあの弥勒経典が厚ぼったくないならばこの出場機会は観音像でないしさらに戻り易くない
事実4: もし仮になにがしかのものは鹹でないなら消臭する
事実5: もしこの出場機会が厚ぼったいなら戻り易い
事実6: 全ての物は観音像でない
事実7: もし仮になにがしかのものは手掛け始めないとしたら「それは削除する」ということは成り立つ
事実8: もしこの出場機会は鹹でないなら切り口上である
事実9: この出場機会は鹹でない
事実10: この米国特許権は厚ぼったい
事実11: もしもとあるものは観音像であるということはないとしたら厚ぼったい
事実12: もし「このゴリラは付き易い」ということは成り立たないならば「それは厚ぼったくなくてそれに獣染みる」ということは正しくない

仮説: この出場機会は戻り易いということはない
1. 事実6から、推論1: "この出場機会は観音像でない"が導かれる
2. 事実11から、推論2: "仮にこの出場機会は観音像でないとしたらそれは厚ぼったい"が導かれる
3. 推論1と推論2から、推論3: "「この出場機会は厚ぼったい」ということは真実である"が導かれる
4. 推論3と事実5から、仮説が否定される

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