そのコーヒーポットはスポーツだということはない
fact1: あるものは防ぐということはない fact2: もし仮に「この社会主義勢力は許し難いしその上連結する」ということは嘘だとしたらそのコーヒーポットはスポーツでない fact3: もし仮にこの社会主義勢力が許し難くないとしたらそのコーヒーポットはスポーツでない fact4: そのコーヒーポットは防がない fact5: 「ガーゼでない」ものはある fact6: なにがしかのものはガーゼだけれど防がない fact7: 「その歴代将軍は左右され易くて加えてスポーツである」ということは成り立つということはない fact8: 「その歴代将軍はスポーツで更に左右され易い」ということは成り立たないとするとそのコーヒーポットは許し難くない fact9: とある物がガーゼだということはなくてそれが防ぐということはないとすればその歴代将軍は左右され易くない fact10: その労働運動史は防がない fact11: もしも許し難くないものが連結しないとしたらこの社会主義勢力は左右され易くない fact12: もし仮に「左右され易くない」物はあるとしたら「この社会主義勢力は許し難いし加えて連結する」ということは誤りだ fact13: なんらかの物は左右され易い fact14: 「ガーゼでないしさらに防ぐ」ものはある fact15: もし何かは左右され易いとすると「そのコーヒーポットは防ぐ一方でガーゼでない」ということは偽だ fact16: なんらかのものは連結しないしその上それはスポーツでない fact17: なにがしかの物が連結しないならそれは左右され易くて許し難い fact18: もし仮に「スポーツでないしまた左右され易いということはない」ものがあるならこの社会主義勢力は連結しない fact19: もしもなんらかのものが左右され易くないし加えて連結しないとしたらこの社会主義勢力は許し難くない fact20: 許し難くないものはある fact21: 「スポーツでない」ものはあるとすれば「その歴代将軍は連結するしかつ左右され易い」ということは誤りだ fact22: 「ガーゼでなくて防がない」物はある
fact22 & fact9 -> int1: その歴代将軍は左右され易くない; int1 -> int2: ある物は左右され易くない; int2 & fact12 -> int3: 「この社会主義勢力は許し難いし加えてそれは連結する」ということは偽だ; int3 & fact2 -> hypothesis;
そのコーヒーポットはスポーツである
fact24 -> int4: 仮にこの社会主義勢力が連結しないとしたらそれは左右され易くておまけに許し難い;
$facts$ = fact1: あるものは防ぐということはない fact2: もし仮に「この社会主義勢力は許し難いしその上連結する」ということは嘘だとしたらそのコーヒーポットはスポーツでない fact3: もし仮にこの社会主義勢力が許し難くないとしたらそのコーヒーポットはスポーツでない fact4: そのコーヒーポットは防がない fact5: 「ガーゼでない」ものはある fact6: なにがしかのものはガーゼだけれど防がない fact7: 「その歴代将軍は左右され易くて加えてスポーツである」ということは成り立つということはない fact8: 「その歴代将軍はスポーツで更に左右され易い」ということは成り立たないとするとそのコーヒーポットは許し難くない fact9: とある物がガーゼだということはなくてそれが防ぐということはないとすればその歴代将軍は左右され易くない fact10: その労働運動史は防がない fact11: もしも許し難くないものが連結しないとしたらこの社会主義勢力は左右され易くない fact12: もし仮に「左右され易くない」物はあるとしたら「この社会主義勢力は許し難いし加えて連結する」ということは誤りだ fact13: なんらかの物は左右され易い fact14: 「ガーゼでないしさらに防ぐ」ものはある fact15: もし何かは左右され易いとすると「そのコーヒーポットは防ぐ一方でガーゼでない」ということは偽だ fact16: なんらかのものは連結しないしその上それはスポーツでない fact17: なにがしかの物が連結しないならそれは左右され易くて許し難い fact18: もし仮に「スポーツでないしまた左右され易いということはない」ものがあるならこの社会主義勢力は連結しない fact19: もしもなんらかのものが左右され易くないし加えて連結しないとしたらこの社会主義勢力は許し難くない fact20: 許し難くないものはある fact21: 「スポーツでない」ものはあるとすれば「その歴代将軍は連結するしかつ左右され易い」ということは誤りだ fact22: 「ガーゼでなくて防がない」物はある ; $hypothesis$ = そのコーヒーポットはスポーツだということはない ; $proof$ = 
fact22 & fact9 -> int1: その歴代将軍は左右され易くない; int1 -> int2: ある物は左右され易くない; int2 & fact12 -> int3: 「この社会主義勢力は許し難いし加えてそれは連結する」ということは偽だ; int3 & fact2 -> hypothesis; __PROVED__
事実1: あるものは防ぐということはない
事実2: もし仮に「この社会主義勢力は許し難いしその上連結する」ということは嘘だとしたらそのコーヒーポットはスポーツでない
事実3: もし仮にこの社会主義勢力が許し難くないとしたらそのコーヒーポットはスポーツでない
事実4: そのコーヒーポットは防がない
事実5: 「ガーゼでない」ものはある
事実6: なにがしかのものはガーゼだけれど防がない
事実7: 「その歴代将軍は左右され易くて加えてスポーツである」ということは成り立つということはない
事実8: 「その歴代将軍はスポーツで更に左右され易い」ということは成り立たないとするとそのコーヒーポットは許し難くない
事実9: とある物がガーゼだということはなくてそれが防ぐということはないとすればその歴代将軍は左右され易くない
事実10: その労働運動史は防がない
事実11: もしも許し難くないものが連結しないとしたらこの社会主義勢力は左右され易くない
事実12: もし仮に「左右され易くない」物はあるとしたら「この社会主義勢力は許し難いし加えて連結する」ということは誤りだ
事実13: なんらかの物は左右され易い
事実14: 「ガーゼでないしさらに防ぐ」ものはある
事実15: もし何かは左右され易いとすると「そのコーヒーポットは防ぐ一方でガーゼでない」ということは偽だ
事実16: なんらかのものは連結しないしその上それはスポーツでない
事実17: なにがしかの物が連結しないならそれは左右され易くて許し難い
事実18: もし仮に「スポーツでないしまた左右され易いということはない」ものがあるならこの社会主義勢力は連結しない
事実19: もしもなんらかのものが左右され易くないし加えて連結しないとしたらこの社会主義勢力は許し難くない
事実20: 許し難くないものはある
事実21: 「スポーツでない」ものはあるとすれば「その歴代将軍は連結するしかつ左右され易い」ということは誤りだ
事実22: 「ガーゼでなくて防がない」物はある

仮説: そのコーヒーポットはスポーツだということはない
1. 事実22と事実9から、推論1: "その歴代将軍は左右され易くない"が導かれる
2. 推論1から、推論2: "ある物は左右され易くない"が導かれる
3. 推論2と事実12から、推論3: "「この社会主義勢力は許し難いし加えてそれは連結する」ということは偽だ"が導かれる
4. 推論3と事実2から、仮説が導かれる

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