その中外合作は洒落臭くなくて逼塞するということはない
fact1: もしもこの歩行障害は外し易いか頭分であるかもしくは両方であるならば「その中外合作は洒落臭くない」ということは確かである fact2: この歩行障害は物悲しい fact3: ある物は慌ただしい fact4: 仮にその輸出加工区が逼塞しないとするとその中外合作は逼塞する fact5: 得易くないものは絞扼する fact6: 仮に「なにがしかの物は安眠用でないし分かり難くない」ということは正しくないなら長々しい fact7: もし「何らかの物は嫌味ったらしいということはないしドイツ文学でない」ということは間違いであるとするとそれは外し易い fact8: 仮にその中外合作は頭分でないとしたら「忍び難いということはなくて嫌味ったらしくない」ということは間違いである fact9: 「この歩行障害はそつ無くないが忍耐強い」ということは成り立たない fact10: 仮にこの歩行障害は赤くないとすると「嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない fact11: もしもこの歩行障害がドイツ文学であるかまたはそれが慌ただしいかどちらもであるとしたらその中外合作は嫌味ったらしくない fact12: もし仮にとある物は十二世紀後半でないとすれば「「忍び難くないかもしくは慌ただしいかまたは両方だ」ということは事実である」ということは成り立たない fact13: この歩行障害は赤くない fact14: もしもその中外合作が十二世紀後半であるしその上外し易いとしたらこの歩行障害は十二世紀後半でない fact15: 仮に何かは逼塞するなら「頭分だ一方で洒落臭いということはない」ということは成り立たない fact16: もし仮になにかは頭分であるなら「それは洒落臭くなくて逼塞しない」ということは嘘だ fact17: もしも「何かは忍び難くないかもしくは慌ただしいかあるいは両方ともである」ということは成り立たないなら逼塞するということはない fact18: もし仮に「この歩行障害は慌ただしくないし洒落臭くない」ということは正しいということはないならば「嫌味ったらしい」ということは成り立つ fact19: その中外合作は十二世紀後半でない
fact7 -> int1: もし「この歩行障害は嫌味ったらしくなくてかつそれはドイツ文学でない」ということは嘘であるならば「外し易い」ということは本当である; fact10 & fact13 -> int2: 「この歩行障害は嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない; int1 & int2 -> int3: 「この歩行障害は外し易い」ということは確かである; int3 -> int4: この歩行障害は外し易いかまたはそれは頭分だ; int4 & fact1 -> int5: その中外合作は洒落臭いということはない; fact17 -> int6: もし「その中外合作は忍び難くないかもしくはそれは慌ただしいかあるいは両方である」ということは間違いだとすれば「それは逼塞しない」ということは本当だ; fact12 -> int7: その中外合作は十二世紀後半でないとしたら「忍び難くないかあるいはそれは慌ただしい」ということは成り立たない; fact19 & int7 -> int8: 「その中外合作は忍び難くないか慌ただしいかあるいはどちらもだ」ということは間違いだ; int6 & int8 -> int9: その中外合作は逼塞するということはない; int5 & int9 -> hypothesis;
この歩行障害は十二世紀後半でない
fact23 -> int10: もし仮にその中外合作は逼塞するとしたら「それは頭分であるし洒落臭くない」ということは成り立たない;
$facts$ = fact1: もしもこの歩行障害は外し易いか頭分であるかもしくは両方であるならば「その中外合作は洒落臭くない」ということは確かである fact2: この歩行障害は物悲しい fact3: ある物は慌ただしい fact4: 仮にその輸出加工区が逼塞しないとするとその中外合作は逼塞する fact5: 得易くないものは絞扼する fact6: 仮に「なにがしかの物は安眠用でないし分かり難くない」ということは正しくないなら長々しい fact7: もし「何らかの物は嫌味ったらしいということはないしドイツ文学でない」ということは間違いであるとするとそれは外し易い fact8: 仮にその中外合作は頭分でないとしたら「忍び難いということはなくて嫌味ったらしくない」ということは間違いである fact9: 「この歩行障害はそつ無くないが忍耐強い」ということは成り立たない fact10: 仮にこの歩行障害は赤くないとすると「嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない fact11: もしもこの歩行障害がドイツ文学であるかまたはそれが慌ただしいかどちらもであるとしたらその中外合作は嫌味ったらしくない fact12: もし仮にとある物は十二世紀後半でないとすれば「「忍び難くないかもしくは慌ただしいかまたは両方だ」ということは事実である」ということは成り立たない fact13: この歩行障害は赤くない fact14: もしもその中外合作が十二世紀後半であるしその上外し易いとしたらこの歩行障害は十二世紀後半でない fact15: 仮に何かは逼塞するなら「頭分だ一方で洒落臭いということはない」ということは成り立たない fact16: もし仮になにかは頭分であるなら「それは洒落臭くなくて逼塞しない」ということは嘘だ fact17: もしも「何かは忍び難くないかもしくは慌ただしいかあるいは両方ともである」ということは成り立たないなら逼塞するということはない fact18: もし仮に「この歩行障害は慌ただしくないし洒落臭くない」ということは正しいということはないならば「嫌味ったらしい」ということは成り立つ fact19: その中外合作は十二世紀後半でない ; $hypothesis$ = その中外合作は洒落臭くなくて逼塞するということはない ; $proof$ = 
fact7 -> int1: もし「この歩行障害は嫌味ったらしくなくてかつそれはドイツ文学でない」ということは嘘であるならば「外し易い」ということは本当である; fact10 & fact13 -> int2: 「この歩行障害は嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない; int1 & int2 -> int3: 「この歩行障害は外し易い」ということは確かである; int3 -> int4: この歩行障害は外し易いかまたはそれは頭分だ; int4 & fact1 -> int5: その中外合作は洒落臭いということはない; fact17 -> int6: もし「その中外合作は忍び難くないかもしくはそれは慌ただしいかあるいは両方である」ということは間違いだとすれば「それは逼塞しない」ということは本当だ; fact12 -> int7: その中外合作は十二世紀後半でないとしたら「忍び難くないかあるいはそれは慌ただしい」ということは成り立たない; fact19 & int7 -> int8: 「その中外合作は忍び難くないか慌ただしいかあるいはどちらもだ」ということは間違いだ; int6 & int8 -> int9: その中外合作は逼塞するということはない; int5 & int9 -> hypothesis; __PROVED__
事実1: もしもこの歩行障害は外し易いか頭分であるかもしくは両方であるならば「その中外合作は洒落臭くない」ということは確かである
事実2: この歩行障害は物悲しい
事実3: ある物は慌ただしい
事実4: 仮にその輸出加工区が逼塞しないとするとその中外合作は逼塞する
事実5: 得易くないものは絞扼する
事実6: 仮に「なにがしかの物は安眠用でないし分かり難くない」ということは正しくないなら長々しい
事実7: もし「何らかの物は嫌味ったらしいということはないしドイツ文学でない」ということは間違いであるとするとそれは外し易い
事実8: 仮にその中外合作は頭分でないとしたら「忍び難いということはなくて嫌味ったらしくない」ということは間違いである
事実9: 「この歩行障害はそつ無くないが忍耐強い」ということは成り立たない
事実10: 仮にこの歩行障害は赤くないとすると「嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない
事実11: もしもこの歩行障害がドイツ文学であるかまたはそれが慌ただしいかどちらもであるとしたらその中外合作は嫌味ったらしくない
事実12: もし仮にとある物は十二世紀後半でないとすれば「「忍び難くないかもしくは慌ただしいかまたは両方だ」ということは事実である」ということは成り立たない
事実13: この歩行障害は赤くない
事実14: もしもその中外合作が十二世紀後半であるしその上外し易いとしたらこの歩行障害は十二世紀後半でない
事実15: 仮に何かは逼塞するなら「頭分だ一方で洒落臭いということはない」ということは成り立たない
事実16: もし仮になにかは頭分であるなら「それは洒落臭くなくて逼塞しない」ということは嘘だ
事実17: もしも「何かは忍び難くないかもしくは慌ただしいかあるいは両方ともである」ということは成り立たないなら逼塞するということはない
事実18: もし仮に「この歩行障害は慌ただしくないし洒落臭くない」ということは正しいということはないならば「嫌味ったらしい」ということは成り立つ
事実19: その中外合作は十二世紀後半でない

仮説: その中外合作は洒落臭くなくて逼塞するということはない
1. 事実7から、推論1: "もし「この歩行障害は嫌味ったらしくなくてかつそれはドイツ文学でない」ということは嘘であるならば「外し易い」ということは本当である"が導かれる
2. 事実10と事実13から、推論2: "「この歩行障害は嫌味ったらしくないし更にドイツ文学でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この歩行障害は外し易い」ということは確かである"が導かれる
4. 推論3から、推論4: "この歩行障害は外し易いかまたはそれは頭分だ"が導かれる
5. 推論4と事実1から、推論5: "その中外合作は洒落臭いということはない"が導かれる
6. 事実17から、推論6: "もし「その中外合作は忍び難くないかもしくはそれは慌ただしいかあるいは両方である」ということは間違いだとすれば「それは逼塞しない」ということは本当だ"が導かれる
7. 事実12から、推論7: "その中外合作は十二世紀後半でないとしたら「忍び難くないかあるいはそれは慌ただしい」ということは成り立たない"が導かれる
8. 事実19と推論7から、推論8: "「その中外合作は忍び難くないか慌ただしいかあるいはどちらもだ」ということは間違いだ"が導かれる
9. 推論6と推論8から、推論9: "その中外合作は逼塞するということはない"が導かれる
10. 推論5と推論9から、仮説が導かれる

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