「この膜厚はし難いけど鼻咽頭炎でない」ということは成り立たない
fact1: 「あの豊臣家は電子ブックだ」ということは正しい fact2: もしもこの洗顔後が帝都であるとしたらあの豊臣家は特許する fact3: 「宮廷文化である」ものはある fact4: 「あの豊臣家は帝都である一方で鼻咽頭炎でない」ということは事実と異なる fact5: 宮廷文化はし難いけれど鼻咽頭炎でない fact6: あの豊臣家は鼻咽頭炎であるとすれば「この膜厚はし難いししかもそれは鼻咽頭炎である」ということは成り立たない fact7: あるものは帝都であるということはない fact8: もしもこの洗顔後が帝都でないとするとこの膜厚は宮廷文化であるしおまけに電子ブックである fact9: 「自覚出来ない」ものはある fact10: もし仮にこの洗顔後は宮廷文化でないとすれば「この膜厚は宮廷文化でない」ということは成り立つ fact11: 「この膜厚はし難くて鼻咽頭炎である」ということは成り立たない fact12: もしもなにがしかのものが特許するとすれば鼻咽頭炎だ fact13: なんらかの物が諮らないならそれは帝都だということはないししかも特許しない fact14: 「その斡旋手続きは桴であるかあるいは出奔するか両方ともだ」ということは事実と異なる fact15: 仮にこの洗顔後が電子ブックであるとするとあの豊臣家は特許する fact16: 何らかのものが宮廷文化でないとするとこの洗顔後は電子ブックであるかもしくは帝都だ fact17: 「この膜厚は電子ブックである」ということは本当である fact18: もし仮にあの豊臣家は電子ブックなら「「この洗顔後は鼻咽頭炎であるけれど電子ブックでない」ということは成り立つということはない」ということは正しい fact19: この洗顔後は帝都であるかもしくはし難い fact20: もしもとあるものは結び付き難くないとすると「それが揺るぎないということはないしさらに覆わない」ということは成り立たない fact21: もし「あの豊臣家は揺るぎなくないしさらに覆うということはない」ということは事実でないならばこの洗顔後は諮らない fact22: 「宮廷文化であるということはない」ものはある fact23: 仮にあの豊臣家は鼻咽頭炎ならば「この膜厚はし難い一方で鼻咽頭炎でない」ということは成り立たない
fact22 & fact16 -> int1: この洗顔後は電子ブックであるかそれは帝都であるかあるいは両方ともである; int1 & fact15 & fact2 -> int2: あの豊臣家は特許する; fact12 -> int3: もしあの豊臣家は特許するとすれば「それは鼻咽頭炎だ」ということは本当である; int2 & int3 -> int4: あの豊臣家は鼻咽頭炎である; int4 & fact23 -> hypothesis;
この膜厚はし難いけれど鼻咽頭炎だということはない
$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$ = 
fact22 & fact16 -> int1: この洗顔後は電子ブックであるかそれは帝都であるかあるいは両方ともである; int1 & fact15 & fact2 -> int2: あの豊臣家は特許する; fact12 -> int3: もしあの豊臣家は特許するとすれば「それは鼻咽頭炎だ」ということは本当である; int2 & int3 -> int4: あの豊臣家は鼻咽頭炎である; int4 & fact23 -> 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. 事実22と事実16から、推論1: "この洗顔後は電子ブックであるかそれは帝都であるかあるいは両方ともである"が導かれる
2. 推論1と事実15と事実2から、推論2: "あの豊臣家は特許する"が導かれる
3. 事実12から、推論3: "もしあの豊臣家は特許するとすれば「それは鼻咽頭炎だ」ということは本当である"が導かれる
4. 推論2と推論3から、推論4: "あの豊臣家は鼻咽頭炎である"が導かれる
5. 推論4と事実23から、仮説が導かれる

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