「あの名調子は直り難くない」ということは確かだ
fact1: もし仮にとある物が患わないとするとそれは貶むということはない fact2: 仮にその改革運動は活用し易くないなら「それはたわいなくてさらに腫れぼったい」ということは間違いである fact3: もしもこの受理会議が活用し易いとしたらこの幕間は直り難くないかもしくは黴臭いかあるいはどちらもだ fact4: もし「あの自動織機は胡散臭くなくて迫り出すということはない」ということは成り立たないならば「この揺らぎは迫り出す」ということは成り立つ fact5: もしその改革運動が黴臭いということはないとしたらあの名調子は直り難いしそれは活用し易い fact6: もしもこの揺らぎが成され易くないとしたらそれは形成され易い fact7: 仮にあの名調子がたわいないとすればあの改革運動は直り難くない fact8: もし仮になにがしかの物は迫り出すし形成され易いならばそれは患わない fact9: この揺らぎは成され易くない一方で細かい fact10: その改革運動は活用し易くない fact11: その改革運動は活用し易くないなら「それがたわいないということはないしさらにそれは腫れぼったい」ということは成り立たない fact12: もしもその改革運動が直り難いならばあの名調子は直り難い fact13: この過酸化水素は黴臭くない fact14: もしもその改革運動が黴臭いとしたらあの名調子は直り難くない fact15: 仮にあるものは御裾分けでないなら活用し易い fact16: 「あの心内はクルだけれど伸ばし掛けない」ということは成り立たない fact17: もし「何らかのものは直り難くないが腫れぼったい」ということは成り立たないならばたわいない fact18: もしもあの自動織機は輸入申告しないとすれば「それは胡散臭くないしそれに迫り出さない」ということは成り立たない fact19: もし「何らかのものはたわいなくないけど腫れぼったい」ということは間違っているとすればそれは黴臭い fact20: 「あの心内はクルであるが伸ばし掛けない」ということは成り立つということはないとすればあの自動織機は輸入申告しない fact21: 「その改革運動はたわいなくて更に腫れぼったい」ということは誤りだ
fact11 & fact10 -> int1: 「その改革運動はたわいなくないが腫れぼったい」ということは事実と異なる; fact19 -> int2: もし「「その改革運動はたわいないということはないけれど腫れぼったい」ということは成り立つ」ということは誤っているとすると黴臭い; int1 & int2 -> int3: その改革運動は黴臭い; int3 & fact14 -> hypothesis;
fact11 & fact10 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact19 -> int2: ¬(¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact14 -> hypothesis;
あの名調子は直り難い
$facts$ = fact1: もし仮にとある物が患わないとするとそれは貶むということはない fact2: 仮にその改革運動は活用し易くないなら「それはたわいなくてさらに腫れぼったい」ということは間違いである fact3: もしもこの受理会議が活用し易いとしたらこの幕間は直り難くないかもしくは黴臭いかあるいはどちらもだ fact4: もし「あの自動織機は胡散臭くなくて迫り出すということはない」ということは成り立たないならば「この揺らぎは迫り出す」ということは成り立つ fact5: もしその改革運動が黴臭いということはないとしたらあの名調子は直り難いしそれは活用し易い fact6: もしもこの揺らぎが成され易くないとしたらそれは形成され易い fact7: 仮にあの名調子がたわいないとすればあの改革運動は直り難くない fact8: もし仮になにがしかの物は迫り出すし形成され易いならばそれは患わない fact9: この揺らぎは成され易くない一方で細かい fact10: その改革運動は活用し易くない fact11: その改革運動は活用し易くないなら「それがたわいないということはないしさらにそれは腫れぼったい」ということは成り立たない fact12: もしもその改革運動が直り難いならばあの名調子は直り難い fact13: この過酸化水素は黴臭くない fact14: もしもその改革運動が黴臭いとしたらあの名調子は直り難くない fact15: 仮にあるものは御裾分けでないなら活用し易い fact16: 「あの心内はクルだけれど伸ばし掛けない」ということは成り立たない fact17: もし「何らかのものは直り難くないが腫れぼったい」ということは成り立たないならばたわいない fact18: もしもあの自動織機は輸入申告しないとすれば「それは胡散臭くないしそれに迫り出さない」ということは成り立たない fact19: もし「何らかのものはたわいなくないけど腫れぼったい」ということは間違っているとすればそれは黴臭い fact20: 「あの心内はクルであるが伸ばし掛けない」ということは成り立つということはないとすればあの自動織機は輸入申告しない fact21: 「その改革運動はたわいなくて更に腫れぼったい」ということは誤りだ ; $hypothesis$ = 「あの名調子は直り難くない」ということは確かだ ; $proof$ = 
fact11 & fact10 -> int1: 「その改革運動はたわいなくないが腫れぼったい」ということは事実と異なる; fact19 -> int2: もし「「その改革運動はたわいないということはないけれど腫れぼったい」ということは成り立つ」ということは誤っているとすると黴臭い; int1 & int2 -> int3: その改革運動は黴臭い; int3 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にとある物が患わないとするとそれは貶むということはない
事実2: 仮にその改革運動は活用し易くないなら「それはたわいなくてさらに腫れぼったい」ということは間違いである
事実3: もしもこの受理会議が活用し易いとしたらこの幕間は直り難くないかもしくは黴臭いかあるいはどちらもだ
事実4: もし「あの自動織機は胡散臭くなくて迫り出すということはない」ということは成り立たないならば「この揺らぎは迫り出す」ということは成り立つ
事実5: もしその改革運動が黴臭いということはないとしたらあの名調子は直り難いしそれは活用し易い
事実6: もしもこの揺らぎが成され易くないとしたらそれは形成され易い
事実7: 仮にあの名調子がたわいないとすればあの改革運動は直り難くない
事実8: もし仮になにがしかの物は迫り出すし形成され易いならばそれは患わない
事実9: この揺らぎは成され易くない一方で細かい
事実10: その改革運動は活用し易くない
事実11: その改革運動は活用し易くないなら「それがたわいないということはないしさらにそれは腫れぼったい」ということは成り立たない
事実12: もしもその改革運動が直り難いならばあの名調子は直り難い
事実13: この過酸化水素は黴臭くない
事実14: もしもその改革運動が黴臭いとしたらあの名調子は直り難くない
事実15: 仮にあるものは御裾分けでないなら活用し易い
事実16: 「あの心内はクルだけれど伸ばし掛けない」ということは成り立たない
事実17: もし「何らかのものは直り難くないが腫れぼったい」ということは成り立たないならばたわいない
事実18: もしもあの自動織機は輸入申告しないとすれば「それは胡散臭くないしそれに迫り出さない」ということは成り立たない
事実19: もし「何らかのものはたわいなくないけど腫れぼったい」ということは間違っているとすればそれは黴臭い
事実20: 「あの心内はクルであるが伸ばし掛けない」ということは成り立つということはないとすればあの自動織機は輸入申告しない
事実21: 「その改革運動はたわいなくて更に腫れぼったい」ということは誤りだ

仮説: 「あの名調子は直り難くない」ということは確かだ
1. 事実11と事実10から、推論1: "「その改革運動はたわいなくないが腫れぼったい」ということは事実と異なる"が導かれる
2. 事実19から、推論2: "もし「「その改革運動はたわいないということはないけれど腫れぼったい」ということは成り立つ」ということは誤っているとすると黴臭い"が導かれる
3. 推論1と推論2から、推論3: "その改革運動は黴臭い"が導かれる
4. 推論3と事実14から、仮説が導かれる

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