その巫女達は無銭飲食であるし奥床しい
fact1: そのＣＶＳは海兵出身である fact2: その第十山岳師団が家族皆でないならばそれは味気ないしそれはＮ響だ fact3: とあるものは市場機構でないならば「その巫女達は無銭飲食だ」ということは確かである fact4: もしも「その播磨灘は悪賢い」ということは本当であるならば余儀無くないし吹き荒れない fact5: 「「奥床しいし海兵出身である」ということは成り立たない」ものはある fact6: その播磨灘は悪賢い fact7: もしもその切立てが海兵出身であるならばあの大学内部は海兵出身だ fact8: 仮にあの大学内部が詮無くないがしかし海兵出身であるならばそのＣＶＳは海兵出身でない fact9: もし仮に「なにかは彼岸花で加えてけばけばしい」ということは成り立たないならばけばけばしいということはない fact10: 仮にそのＣＶＳが海兵出身だとするとその巫女達は奥床しい fact11: 「ぼったくるしかつ市場機構な」物はある fact12: 仮にとあるものは騒々しくないかもしくは御思うかもしくはどちらもであるとすれば海兵出身である fact13: 仮にその播磨灘が余儀無くないしかつそれは吹き荒れないとすれば「あの機械使用料は吹き荒れない」ということは確かである fact14: 「あの機械使用料はけばけばしくないなら「あの機械使用料は詮無いし加えて作成し為さる」ということは成り立つということはない」ということは間違いでない fact15: 仮に「あの機械使用料は詮無いしそれは作成し為さる」ということは誤りだとしたら「あの大学内部は詮無くない」ということは成り立つ fact16: 「「「ぼったくるし市場機構である」ということは真実である」ということは間違いである」ものがあるとしたらその巫女達は無銭飲食である fact17: もし仮にとあるものは吹き荒れないならば「彼岸花でかつそれはけばけばしい」ということは成り立たない fact18: 「「奥床しいし無銭飲食だ」ということは成り立たない」ものはある fact19: その第十山岳師団は家族皆でない fact20: 「「海兵出身であるしその上奥床しい」ということは誤りな」ものはある fact21: 「「ぼったくるしまた市場機構だ」ということは成り立たない」物はある fact22: もしそのＣＶＳは海兵出身でないとしたら「その巫女達が無銭飲食だしさらにそれは奥床しい」ということは偽である
fact21 & fact16 -> int1: その巫女達は無銭飲食である; fact1 & fact10 -> int2: その巫女達は奥床しい; int1 & int2 -> hypothesis;
「その巫女達は無銭飲食であるしその上奥床しい」ということは誤りである
fact23 -> int3: 仮に「あの機械使用料が彼岸花だしけばけばしい」ということは誤りだとすると「それはけばけばしくない」ということは成り立つ; fact35 -> int4: もしもあの機械使用料は吹き荒れないとしたら「彼岸花であるしかつけばけばしい」ということは成り立たない; fact30 & fact26 -> int5: その播磨灘は余儀無くなくてしかもそれは吹き荒れるということはない; fact34 & int5 -> int6: あの機械使用料は吹き荒れない; int4 & int6 -> int7: 「あの機械使用料が彼岸花だしまたそれはけばけばしい」ということは成り立たない; int3 & int7 -> int8: あの機械使用料はけばけばしくない; fact29 & int8 -> int9: 「あの機械使用料は詮無いし加えて作成し為さる」ということは間違いである; fact27 & int9 -> int10: あの大学内部は詮無くない; fact28 -> int11: もし仮にその切立てが騒々しくないかまたはそれが御思えば海兵出身だ; fact32 & fact33 -> int12: その第十山岳師団は味気ないしまたＮ響である; int12 -> int13: その第十山岳師団はＮ響だ; int13 -> int14: なにがしかの物はＮ響である;
$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$ = 
fact21 & fact16 -> int1: その巫女達は無銭飲食である; fact1 & fact10 -> int2: その巫女達は奥床しい; int1 & int2 -> 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. 事実21と事実16から、推論1: "その巫女達は無銭飲食である"が導かれる
2. 事実1と事実10から、推論2: "その巫女達は奥床しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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