「そのデＣは重たいけれど酢でない」ということは成り立たない
fact1: その診療所は類する fact2: その診療所は類するし更に宿屋だ fact3: もしあの冷却はニュートラル・ボールポジションであるならそれは宿屋であるということはない一方で会わす fact4: あらゆるものは類する fact5: あの冷却がニュートラル・ボールポジションだとすればそれは宿屋でない fact6: もしも「何かはニュートラル・ボールポジションであるかもしくは煩くない」ということは本当でないならば「類する」ということは本当である fact7: その診療所はまだるっこしいし加えて御注文頂ける fact8: その診療所は類するしおまけに御注文頂ける fact9: もしもあの福祉諸施策は取り扱い易くないなら「そのデＣは重たいし酢だ」ということは間違いである fact10: 仮になにがしかの物は煩いならば「それはニュートラル・ボールポジションである」ということは事実だ fact11: もしもその診療所は煩いということはないならば「この子宮癌検診は類するけど難航しない」ということは偽である fact12: 「そのデＣは重たくて酢だ」ということは本当でない fact13: あの冷却は宿屋だということはない fact14: 仮にこの子宮癌検診はまだるっこしいとすれば「類しないかそれは事実審でない」ということは成り立たない fact15: そのデＣは酢だということはないがそれは宿屋である fact16: もしもあの福祉諸施策は取り扱い易くないとしたら「そのデＣは重たいがしかし酢でない」ということは偽である fact17: あらゆるものが福祉部局だしさらに類する fact18: あの冷却はニュートラル・ボールポジションだ fact19: ニュートラル・ボールポジションは重たいが酢でない fact20: あの冷却が宿屋でない一方で会わすとすればこの子宮癌検診は煩い fact21: この子宮癌検診が煩いならばその診療所は難航する fact22: 仮に「この子宮癌検診は類しないか事実審でないかまたは両方ともである」ということは偽であるとするとあの冷却は取り扱い易くない fact23: もし「その診療所は難航するしその上福祉部局である」ということは本当であるとすればあの福祉諸施策は取り扱い易くない fact24: もしも「何かは取り扱い易くない」ということは事実であるとしたら「それは難航するかもしくはそれは福祉部局でないかどちらもだ」ということは偽である fact25: もしもあの冷却が宿屋だし更に会わすとしたらこの子宮癌検診は煩い fact26: その診療所は類するしその上ニュートラル・ボールポジションだ fact27: もし仮にこの子宮癌検診は土木関連会社であるならばまだるっこしい
fact3 & fact18 -> int1: あの冷却は宿屋でない一方でそれは会わす; int1 & fact20 -> int2: この子宮癌検診は煩い; int2 & fact21 -> int3: その診療所は難航する; fact17 -> int4: その診療所は福祉部局で類する; int4 -> int5: その診療所は福祉部局だ; int3 & int5 -> int6: その診療所は難航するししかも福祉部局である; int6 & fact23 -> int7: あの福祉諸施策は取り扱い易いということはない; int7 & fact16 -> hypothesis;
その労働歌は類する
fact28 -> int8: もし「その労働歌はニュートラル・ボールポジションであるかもしくは煩くない」ということは正しくないならば類する;
$facts$ = fact1: その診療所は類する fact2: その診療所は類するし更に宿屋だ fact3: もしあの冷却はニュートラル・ボールポジションであるならそれは宿屋であるということはない一方で会わす fact4: あらゆるものは類する fact5: あの冷却がニュートラル・ボールポジションだとすればそれは宿屋でない fact6: もしも「何かはニュートラル・ボールポジションであるかもしくは煩くない」ということは本当でないならば「類する」ということは本当である fact7: その診療所はまだるっこしいし加えて御注文頂ける fact8: その診療所は類するしおまけに御注文頂ける fact9: もしもあの福祉諸施策は取り扱い易くないなら「そのデＣは重たいし酢だ」ということは間違いである fact10: 仮になにがしかの物は煩いならば「それはニュートラル・ボールポジションである」ということは事実だ fact11: もしもその診療所は煩いということはないならば「この子宮癌検診は類するけど難航しない」ということは偽である fact12: 「そのデＣは重たくて酢だ」ということは本当でない fact13: あの冷却は宿屋だということはない fact14: 仮にこの子宮癌検診はまだるっこしいとすれば「類しないかそれは事実審でない」ということは成り立たない fact15: そのデＣは酢だということはないがそれは宿屋である fact16: もしもあの福祉諸施策は取り扱い易くないとしたら「そのデＣは重たいがしかし酢でない」ということは偽である fact17: あらゆるものが福祉部局だしさらに類する fact18: あの冷却はニュートラル・ボールポジションだ fact19: ニュートラル・ボールポジションは重たいが酢でない fact20: あの冷却が宿屋でない一方で会わすとすればこの子宮癌検診は煩い fact21: この子宮癌検診が煩いならばその診療所は難航する fact22: 仮に「この子宮癌検診は類しないか事実審でないかまたは両方ともである」ということは偽であるとするとあの冷却は取り扱い易くない fact23: もし「その診療所は難航するしその上福祉部局である」ということは本当であるとすればあの福祉諸施策は取り扱い易くない fact24: もしも「何かは取り扱い易くない」ということは事実であるとしたら「それは難航するかもしくはそれは福祉部局でないかどちらもだ」ということは偽である fact25: もしもあの冷却が宿屋だし更に会わすとしたらこの子宮癌検診は煩い fact26: その診療所は類するしその上ニュートラル・ボールポジションだ fact27: もし仮にこの子宮癌検診は土木関連会社であるならばまだるっこしい ; $hypothesis$ = 「そのデＣは重たいけれど酢でない」ということは成り立たない ; $proof$ = 
fact3 & fact18 -> int1: あの冷却は宿屋でない一方でそれは会わす; int1 & fact20 -> int2: この子宮癌検診は煩い; int2 & fact21 -> int3: その診療所は難航する; fact17 -> int4: その診療所は福祉部局で類する; int4 -> int5: その診療所は福祉部局だ; int3 & int5 -> int6: その診療所は難航するししかも福祉部局である; int6 & fact23 -> int7: あの福祉諸施策は取り扱い易いということはない; int7 & fact16 -> hypothesis; __PROVED__
事実1: その診療所は類する
事実2: その診療所は類するし更に宿屋だ
事実3: もしあの冷却はニュートラル・ボールポジションであるならそれは宿屋であるということはない一方で会わす
事実4: あらゆるものは類する
事実5: あの冷却がニュートラル・ボールポジションだとすればそれは宿屋でない
事実6: もしも「何かはニュートラル・ボールポジションであるかもしくは煩くない」ということは本当でないならば「類する」ということは本当である
事実7: その診療所はまだるっこしいし加えて御注文頂ける
事実8: その診療所は類するしおまけに御注文頂ける
事実9: もしもあの福祉諸施策は取り扱い易くないなら「そのデＣは重たいし酢だ」ということは間違いである
事実10: 仮になにがしかの物は煩いならば「それはニュートラル・ボールポジションである」ということは事実だ
事実11: もしもその診療所は煩いということはないならば「この子宮癌検診は類するけど難航しない」ということは偽である
事実12: 「そのデＣは重たくて酢だ」ということは本当でない
事実13: あの冷却は宿屋だということはない
事実14: 仮にこの子宮癌検診はまだるっこしいとすれば「類しないかそれは事実審でない」ということは成り立たない
事実15: そのデＣは酢だということはないがそれは宿屋である
事実16: もしもあの福祉諸施策は取り扱い易くないとしたら「そのデＣは重たいがしかし酢でない」ということは偽である
事実17: あらゆるものが福祉部局だしさらに類する
事実18: あの冷却はニュートラル・ボールポジションだ
事実19: ニュートラル・ボールポジションは重たいが酢でない
事実20: あの冷却が宿屋でない一方で会わすとすればこの子宮癌検診は煩い
事実21: この子宮癌検診が煩いならばその診療所は難航する
事実22: 仮に「この子宮癌検診は類しないか事実審でないかまたは両方ともである」ということは偽であるとするとあの冷却は取り扱い易くない
事実23: もし「その診療所は難航するしその上福祉部局である」ということは本当であるとすればあの福祉諸施策は取り扱い易くない
事実24: もしも「何かは取り扱い易くない」ということは事実であるとしたら「それは難航するかもしくはそれは福祉部局でないかどちらもだ」ということは偽である
事実25: もしもあの冷却が宿屋だし更に会わすとしたらこの子宮癌検診は煩い
事実26: その診療所は類するしその上ニュートラル・ボールポジションだ
事実27: もし仮にこの子宮癌検診は土木関連会社であるならばまだるっこしい

仮説: 「そのデＣは重たいけれど酢でない」ということは成り立たない
1. 事実3と事実18から、推論1: "あの冷却は宿屋でない一方でそれは会わす"が導かれる
2. 推論1と事実20から、推論2: "この子宮癌検診は煩い"が導かれる
3. 推論2と事実21から、推論3: "その診療所は難航する"が導かれる
4. 事実17から、推論4: "その診療所は福祉部局で類する"が導かれる
5. 推論4から、推論5: "その診療所は福祉部局だ"が導かれる
6. 推論3と推論5から、推論6: "その診療所は難航するししかも福祉部局である"が導かれる
7. 推論6と事実23から、推論7: "あの福祉諸施策は取り扱い易いということはない"が導かれる
8. 推論7と事実16から、仮説が導かれる

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