その偃月刀は運航する
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: あの最奥部は市場衰微だしさらに狡賢い
fact21 & fact15 -> int1: その四〜五人は心弱い; int1 & fact5 -> int2: 「この国衙は窄まる」ということは事実だ; int2 & fact4 -> int3: その偃月刀は分析でない; fact19 -> int4: もし仮にその偃月刀は分析でないとすれば「それは浚うし加えてそれは運航する」ということは事実だ; int3 & int4 -> int5: その偃月刀は浚うし運航する; int5 -> hypothesis;
その偃月刀は運航しない
fact28 -> int6: もしその即座は分析でないなら「それは窄まるがしかし心弱いということはない」ということは成り立たない; fact26 -> int7: その四〜五人は浚わないとすれば「「それは進攻するし更にそれは分析である」ということは正しい」ということは成り立つということはない; fact31 -> int8: 仮に「その四〜五人は寒しないけど仰々しい」ということは誤っているならそれは浚うということはない; fact29 & fact27 -> int9: この国衙はざわめく; int9 -> int10: 「ざわめく」物はある; int10 & fact32 -> int11: 「その四〜五人は寒しないがそれは仰々しい」ということは嘘である; int8 & int11 -> int12: その四〜五人は浚わない; int7 & int12 -> int13: 「その四〜五人は進攻するし分析である」ということは確かでない; fact30 & int13 -> int14: その即座は分析でない; int6 & int14 -> int15: 「その即座は窄まるが心弱くない」ということは間違いだ; int15 -> int16: 「「窄まるしかつ心弱くない」ということは成り立たない」ものはある;
$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: あの最奥部は市場衰微だしさらに狡賢い ; $hypothesis$ = その偃月刀は運航する ; $proof$ = 
fact21 & fact15 -> int1: その四〜五人は心弱い; int1 & fact5 -> int2: 「この国衙は窄まる」ということは事実だ; int2 & fact4 -> int3: その偃月刀は分析でない; fact19 -> int4: もし仮にその偃月刀は分析でないとすれば「それは浚うし加えてそれは運航する」ということは事実だ; int3 & int4 -> int5: その偃月刀は浚うし運航する; int5 -> 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: あの最奥部は市場衰微だしさらに狡賢い

仮説: その偃月刀は運航する
1. 事実21と事実15から、推論1: "その四〜五人は心弱い"が導かれる
2. 推論1と事実5から、推論2: "「この国衙は窄まる」ということは事実だ"が導かれる
3. 推論2と事実4から、推論3: "その偃月刀は分析でない"が導かれる
4. 事実19から、推論4: "もし仮にその偃月刀は分析でないとすれば「それは浚うし加えてそれは運航する」ということは事実だ"が導かれる
5. 推論3と推論4から、推論5: "その偃月刀は浚うし運航する"が導かれる
6. 推論5から、仮説が導かれる

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