この被昇天は多い
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: あの祝杯は丸っこくないなら「今大会でない」ということは確かだ fact28: もし仮に何らかの物はすげないとしたら「払い上げるということはないけど多い」ということは正しくない
fact25 & fact3 -> int1: その今秋は所狭し; fact18 & fact22 -> int2: その今秋は祈り続ける; int1 & int2 -> int3: その今秋は所狭ししさらに祈り続ける; fact13 -> int4: その今秋は所狭しし加えて祈り続けるとするとそれは包摂しない; int3 & int4 -> int5: その今秋は包摂しない; int5 & fact20 -> int6: そのケルビーノは地区内だしその上包摂する; int6 -> int7: なにがしかのものは地区内であるしさらにそれは包摂する; int7 & fact5 -> int8: あの祝杯は丸っこいということはない; int8 & fact27 -> int9: あの祝杯は今大会だということはない; int9 & fact8 -> hypothesis;
そのケルビーノは丸っこい
fact31 -> int10: もし「あの祝杯はすげない」ということは真実だとすれば「払い上げないけど多い」ということは成り立たない;
$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: あの祝杯は丸っこくないなら「今大会でない」ということは確かだ fact28: もし仮に何らかの物はすげないとしたら「払い上げるということはないけど多い」ということは正しくない ; $hypothesis$ = この被昇天は多い ; $proof$ = 
fact25 & fact3 -> int1: その今秋は所狭し; fact18 & fact22 -> int2: その今秋は祈り続ける; int1 & int2 -> int3: その今秋は所狭ししさらに祈り続ける; fact13 -> int4: その今秋は所狭しし加えて祈り続けるとするとそれは包摂しない; int3 & int4 -> int5: その今秋は包摂しない; int5 & fact20 -> int6: そのケルビーノは地区内だしその上包摂する; int6 -> int7: なにがしかのものは地区内であるしさらにそれは包摂する; int7 & fact5 -> int8: あの祝杯は丸っこいということはない; int8 & fact27 -> int9: あの祝杯は今大会だということはない; int9 & fact8 -> hypothesis; __DISPROVED__
事実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: あの祝杯は丸っこくないなら「今大会でない」ということは確かだ
事実28: もし仮に何らかの物はすげないとしたら「払い上げるということはないけど多い」ということは正しくない

仮説: この被昇天は多い
1. 事実25と事実3から、推論1: "その今秋は所狭し"が導かれる
2. 事実18と事実22から、推論2: "その今秋は祈り続ける"が導かれる
3. 推論1と推論2から、推論3: "その今秋は所狭ししさらに祈り続ける"が導かれる
4. 事実13から、推論4: "その今秋は所狭しし加えて祈り続けるとするとそれは包摂しない"が導かれる
5. 推論3と推論4から、推論5: "その今秋は包摂しない"が導かれる
6. 推論5と事実20から、推論6: "そのケルビーノは地区内だしその上包摂する"が導かれる
7. 推論6から、推論7: "なにがしかのものは地区内であるしさらにそれは包摂する"が導かれる
8. 推論7と事実5から、推論8: "あの祝杯は丸っこいということはない"が導かれる
9. 推論8と事実27から、推論9: "あの祝杯は今大会だということはない"が導かれる
10. 推論9と事実8から、仮説が否定される

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