あのコーヒー・スリーブは早期発見法でない
fact1: なにかは主要ポイントでないとすれば構え易いということはないがしかし本店所在地だ fact2: 人懐っこいものは儀式化する fact3: あの触角が早期発見法でないとすればあのコーヒー・スリーブは減す fact4: 仮にあのコーヒー・スリーブが早期発見法であるしそれは出席出来るとしたら「あの触角は出席出来ない」ということは確かだ fact5: 仮にあのコーヒー・スリーブが減しないかあるいは儀式化しないかどちらもだとするとあの触角は早期発見法である fact6: もし仮にこの善男が構え易くない一方で本店所在地であるとするとあの触角は人懐っこい fact7: あのコーヒー・スリーブは飾るということはないかそれは結晶しない fact8: 「「柔らかくなくて愛情深くない」ということは成り立つということはない」物はある fact9: 仮にその白鷺は人懐っこいとすると「この善男は本店所在地でないし加えて減さない」ということは事実と異なる fact10: もしあの触角が減しないか儀式化しないかどちらもだとしたらあのコーヒー・スリーブは早期発見法である fact11: もし仮に「この善男は本店所在地でなくてしかもそれは減すということはない」ということは成り立つということはないならばあのコーヒー・スリーブは減さない fact12: もし「とある物は遅しない」ということは嘘でないとすれば「構え易くてまた主要ポイントである」ということは嘘でない fact13: もし何らかのものが減さないならそれは早期発見法であるし出席出来る fact14: もしもなにかは儀式化するならばあのコーヒー・スリーブは早期発見法であるということはない fact15: もし仮に「「柔らかくないし愛情深くない」ということは誤りである」物があるならあの触角は減さない fact16: その白鷺は定期購読でない一方で遅し fact17: 仮になにがしかのものは儀式化するとしたら「減すがしかし早期発見法でない」ということは間違いである fact18: この遷移先状態はロジスティクス展開でないかあるいは定期購読でない fact19: もしもこの遷移先状態が構え易いとすればあの白鷺は人懐っこい
fact8 & fact15 -> int1: あの触角は減すということはない; int1 -> int2: あの触角は減しないかあるいは儀式化しないかもしくは両方である; int2 & fact10 -> hypothesis;
fact8 & fact15 -> int1: ¬{A}{a}; int1 -> int2: (¬{A}{a} v ¬{B}{a}); int2 & fact10 -> hypothesis;
あのコーヒー・スリーブは早期発見法でない
fact23 -> int3: もしあの触角は儀式化するとすれば「減すけど早期発見法でない」ということは誤りである; fact22 -> int4: もしあの触角が人懐っこいならそれは儀式化する; fact21 -> int5: この善男が主要ポイントでないとするとそれは構え易いということはなくてそれは本店所在地である; fact20 -> int6: 「定期購読でないけど遅し」物はある;
$facts$ = fact1: なにかは主要ポイントでないとすれば構え易いということはないがしかし本店所在地だ fact2: 人懐っこいものは儀式化する fact3: あの触角が早期発見法でないとすればあのコーヒー・スリーブは減す fact4: 仮にあのコーヒー・スリーブが早期発見法であるしそれは出席出来るとしたら「あの触角は出席出来ない」ということは確かだ fact5: 仮にあのコーヒー・スリーブが減しないかあるいは儀式化しないかどちらもだとするとあの触角は早期発見法である fact6: もし仮にこの善男が構え易くない一方で本店所在地であるとするとあの触角は人懐っこい fact7: あのコーヒー・スリーブは飾るということはないかそれは結晶しない fact8: 「「柔らかくなくて愛情深くない」ということは成り立つということはない」物はある fact9: 仮にその白鷺は人懐っこいとすると「この善男は本店所在地でないし加えて減さない」ということは事実と異なる fact10: もしあの触角が減しないか儀式化しないかどちらもだとしたらあのコーヒー・スリーブは早期発見法である fact11: もし仮に「この善男は本店所在地でなくてしかもそれは減すということはない」ということは成り立つということはないならばあのコーヒー・スリーブは減さない fact12: もし「とある物は遅しない」ということは嘘でないとすれば「構え易くてまた主要ポイントである」ということは嘘でない fact13: もし何らかのものが減さないならそれは早期発見法であるし出席出来る fact14: もしもなにかは儀式化するならばあのコーヒー・スリーブは早期発見法であるということはない fact15: もし仮に「「柔らかくないし愛情深くない」ということは誤りである」物があるならあの触角は減さない fact16: その白鷺は定期購読でない一方で遅し fact17: 仮になにがしかのものは儀式化するとしたら「減すがしかし早期発見法でない」ということは間違いである fact18: この遷移先状態はロジスティクス展開でないかあるいは定期購読でない fact19: もしもこの遷移先状態が構え易いとすればあの白鷺は人懐っこい ; $hypothesis$ = あのコーヒー・スリーブは早期発見法でない ; $proof$ = 
fact8 & fact15 -> int1: あの触角は減すということはない; int1 -> int2: あの触角は減しないかあるいは儀式化しないかもしくは両方である; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: なにかは主要ポイントでないとすれば構え易いということはないがしかし本店所在地だ
事実2: 人懐っこいものは儀式化する
事実3: あの触角が早期発見法でないとすればあのコーヒー・スリーブは減す
事実4: 仮にあのコーヒー・スリーブが早期発見法であるしそれは出席出来るとしたら「あの触角は出席出来ない」ということは確かだ
事実5: 仮にあのコーヒー・スリーブが減しないかあるいは儀式化しないかどちらもだとするとあの触角は早期発見法である
事実6: もし仮にこの善男が構え易くない一方で本店所在地であるとするとあの触角は人懐っこい
事実7: あのコーヒー・スリーブは飾るということはないかそれは結晶しない
事実8: 「「柔らかくなくて愛情深くない」ということは成り立つということはない」物はある
事実9: 仮にその白鷺は人懐っこいとすると「この善男は本店所在地でないし加えて減さない」ということは事実と異なる
事実10: もしあの触角が減しないか儀式化しないかどちらもだとしたらあのコーヒー・スリーブは早期発見法である
事実11: もし仮に「この善男は本店所在地でなくてしかもそれは減すということはない」ということは成り立つということはないならばあのコーヒー・スリーブは減さない
事実12: もし「とある物は遅しない」ということは嘘でないとすれば「構え易くてまた主要ポイントである」ということは嘘でない
事実13: もし何らかのものが減さないならそれは早期発見法であるし出席出来る
事実14: もしもなにかは儀式化するならばあのコーヒー・スリーブは早期発見法であるということはない
事実15: もし仮に「「柔らかくないし愛情深くない」ということは誤りである」物があるならあの触角は減さない
事実16: その白鷺は定期購読でない一方で遅し
事実17: 仮になにがしかのものは儀式化するとしたら「減すがしかし早期発見法でない」ということは間違いである
事実18: この遷移先状態はロジスティクス展開でないかあるいは定期購読でない
事実19: もしもこの遷移先状態が構え易いとすればあの白鷺は人懐っこい

仮説: あのコーヒー・スリーブは早期発見法でない
1. 事実8と事実15から、推論1: "あの触角は減すということはない"が導かれる
2. 推論1から、推論2: "あの触角は減しないかあるいは儀式化しないかもしくは両方である"が導かれる
3. 推論2と事実10から、仮説が否定される

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