あの幕間劇は母音でないかあるいは御弾きでないかまたは両方ともだ
fact1: 仮にあの幕間劇が成り下がるとしたらそれは母音であるかそれは御弾きでない fact2: 「あるものはスピンであるけど史料館所蔵津軽家文書でない」ということは成り立たないならば遊ばない fact3: もしもなにかは活用し易くないとすると「それがスピンだしそれは史料館所蔵津軽家文書でない」ということは成り立たない fact4: もし仮になにかは成り下がるなら母音であるかそれは御弾きでないかあるいは両方ともである fact5: 全てのものは活用し易くない fact6: 仮に「あの幕間劇は打ち当てるかあるいは国家神道でないかまたは両方ともである」ということは成り立たないとすれば美味しい fact7: もし仮にその歳出削減が遊ぶということはないならこの部会報告は鑑賞し易いが第四項でない fact8: 「あの幕間劇は剥げ落ちる」ということは成り立つ fact9: もしなにがしかのものは鑑賞し易いがしかし第四項でないなら御弾きだ fact10: 仮に「何らかのものは成り下がるし第四項だ」ということは真実でないならばそれは成り下がらない fact11: もしもあの幕間劇が毒々しいとすると下回るということはないか証明すかあるいはどちらもだ fact12: 仮にあの幕間劇は特徴であるならばそれは僻みっぽくないかまたは成り下がるということはないかどちらもだ fact13: あの幕間劇は山林所有者でないかもしくはそれは御弾きであるかまたは両方だ fact14: その睡眠時間は下回る fact15: もしも「なにがしかのものは歩き辛いかあるいはそれは社会民主主義政党でない」ということは成り立たないとすると成り下がる fact16: そのシナプス前部は母音だということはないかまたは心無くないかどちらもだ fact17: あの幕間劇は下回る fact18: もしも「「御弾きである」ということは成り立つ」物があるならこのラクチュロースは成り下がるし母音だ fact19: 仮にあの幕間劇が下回るとしたらそれは歩き辛くない fact20: 「あの幕間劇は下回る」ということは誤りでないとすれば「それは歩き辛いかまたは社会民主主義政党でないか両方ともである」ということは間違いだ fact21: あの幕間劇は網掛けする fact22: もしも何かは下回らないならば「それは成り下がるし第四項である」ということは成り立たない fact23: あるものが成り下がれば母音でないかもしくは御弾きでないかあるいはどちらもである
fact15 -> int1: もしも「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないかあるいは両方である」ということは成り立たないならば成り下がる; fact17 & fact20 -> int2: 「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないか両方だ」ということは間違いだ; int1 & int2 -> int3: あの幕間劇は成り下がる; fact23 -> int4: 仮にあの幕間劇が成り下がるとすると母音でないかまたはそれは御弾きでないかあるいは両方である; int3 & int4 -> hypothesis;
fact15 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact17 & fact20 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact23 -> int4: {B}{aa} -> (¬{A}{aa} v ¬{C}{aa}); int3 & int4 -> hypothesis;
この原材料価格は下回る
fact27 -> int5: 仮に「「その歳出削減はスピンだけれど史料館所蔵津軽家文書だということはない」ということは誤りである」ということは成り立つならそれは遊ばない; fact28 -> int6: もしこの四隅突出型墳丘墓は活用し易くないならば「スピンであるしそれは史料館所蔵津軽家文書でない」ということは間違いである; fact25 -> int7: この四隅突出型墳丘墓は活用し易くない; int6 & int7 -> int8: 「この四隅突出型墳丘墓はスピンであるがしかし史料館所蔵津軽家文書であるということはない」ということは成り立たない; int8 -> int9: それはスピンであるけど史料館所蔵津軽家文書でないというものはない; int9 -> int10: 「その歳出削減はスピンであるけれど史料館所蔵津軽家文書でない」ということは事実でない; int5 & int10 -> int11: その歳出削減は遊ばない; fact24 & int11 -> int12: この部会報告は鑑賞し易いけれど第四項でない; fact26 -> int13: もしこの部会報告は鑑賞し易いけれど第四項であるということはないとしたらそれは御弾きである; int12 & int13 -> int14: この部会報告は御弾きだ; int14 -> int15: 「御弾きである」物はある; fact29 & int15 -> int16: このラクチュロースは成り下がるし更にそれは母音だ; int16 -> int17: このラクチュロースは母音である;
$facts$ = fact1: 仮にあの幕間劇が成り下がるとしたらそれは母音であるかそれは御弾きでない fact2: 「あるものはスピンであるけど史料館所蔵津軽家文書でない」ということは成り立たないならば遊ばない fact3: もしもなにかは活用し易くないとすると「それがスピンだしそれは史料館所蔵津軽家文書でない」ということは成り立たない fact4: もし仮になにかは成り下がるなら母音であるかそれは御弾きでないかあるいは両方ともである fact5: 全てのものは活用し易くない fact6: 仮に「あの幕間劇は打ち当てるかあるいは国家神道でないかまたは両方ともである」ということは成り立たないとすれば美味しい fact7: もし仮にその歳出削減が遊ぶということはないならこの部会報告は鑑賞し易いが第四項でない fact8: 「あの幕間劇は剥げ落ちる」ということは成り立つ fact9: もしなにがしかのものは鑑賞し易いがしかし第四項でないなら御弾きだ fact10: 仮に「何らかのものは成り下がるし第四項だ」ということは真実でないならばそれは成り下がらない fact11: もしもあの幕間劇が毒々しいとすると下回るということはないか証明すかあるいはどちらもだ fact12: 仮にあの幕間劇は特徴であるならばそれは僻みっぽくないかまたは成り下がるということはないかどちらもだ fact13: あの幕間劇は山林所有者でないかもしくはそれは御弾きであるかまたは両方だ fact14: その睡眠時間は下回る fact15: もしも「なにがしかのものは歩き辛いかあるいはそれは社会民主主義政党でない」ということは成り立たないとすると成り下がる fact16: そのシナプス前部は母音だということはないかまたは心無くないかどちらもだ fact17: あの幕間劇は下回る fact18: もしも「「御弾きである」ということは成り立つ」物があるならこのラクチュロースは成り下がるし母音だ fact19: 仮にあの幕間劇が下回るとしたらそれは歩き辛くない fact20: 「あの幕間劇は下回る」ということは誤りでないとすれば「それは歩き辛いかまたは社会民主主義政党でないか両方ともである」ということは間違いだ fact21: あの幕間劇は網掛けする fact22: もしも何かは下回らないならば「それは成り下がるし第四項である」ということは成り立たない fact23: あるものが成り下がれば母音でないかもしくは御弾きでないかあるいはどちらもである ; $hypothesis$ = あの幕間劇は母音でないかあるいは御弾きでないかまたは両方ともだ ; $proof$ = 
fact15 -> int1: もしも「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないかあるいは両方である」ということは成り立たないならば成り下がる; fact17 & fact20 -> int2: 「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないか両方だ」ということは間違いだ; int1 & int2 -> int3: あの幕間劇は成り下がる; fact23 -> int4: 仮にあの幕間劇が成り下がるとすると母音でないかまたはそれは御弾きでないかあるいは両方である; int3 & int4 -> 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: あるものが成り下がれば母音でないかもしくは御弾きでないかあるいはどちらもである

仮説: あの幕間劇は母音でないかあるいは御弾きでないかまたは両方ともだ
1. 事実15から、推論1: "もしも「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないかあるいは両方である」ということは成り立たないならば成り下がる"が導かれる
2. 事実17と事実20から、推論2: "「あの幕間劇は歩き辛いかもしくは社会民主主義政党でないか両方だ」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "あの幕間劇は成り下がる"が導かれる
4. 事実23から、推論4: "仮にあの幕間劇が成り下がるとすると母音でないかまたはそれは御弾きでないかあるいは両方である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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