「もしも「末恐ろしくないかあるいは分厚いかまたはどちらもである」ということは偽だとすれば九重町田野でない」物はある
fact1: もしその乾性咳嗽が末恐ろしいということはないかそれは分厚いとすると「九重町田野でない」ということは正しい fact2: 「その乾性咳嗽は末恐ろしくないかそれは分厚いかまたはどちらもである」ということは嘘であるならそれは九重町田野でない fact3: もしもその乾性咳嗽は住み良くないかもしくは九重町田野であるかもしくは両方ともだとするとそれは急上昇するということはない fact4: 「もし「静か過ぎないか治癒後であるかまたはどちらもだ」ということは成り立つということはないなら外形理論である」ものはある fact5: もし仮に「「その乾性咳嗽は末恐ろしくないか分厚いかもしくはどちらもである」ということは事実である」ということは誤っているとしたらそれは九重町田野である fact6: 「仮に「格好良いということはないかもしくは突っ返すか両方だ」ということは偽だとすれば自己評価しない」ものはある fact7: 「もし仮に末恐ろしくないかまたは分厚いかどちらもであるなら九重町田野でない」物はある fact8: もしも「その乾性咳嗽は末恐ろしいか分厚い」ということは成り立たないとしたら「それは九重町田野でない」ということは事実である fact9: 「「末恐ろしいかもしくは分厚いかあるいは両方ともだ」ということは間違いだとすると九重町田野でない」ものはある fact10: 「もし「末恐ろしくないかまたは分厚い」ということは成り立つということはないとすれば九重町田野である」物はある fact11: 「もし仮に「下ろし易いかあるいは乗り難いかもしくは両方ともだ」ということは成り立つということはないならば麗々しくない」ものはある fact12: 「何らかのものは持ち難いということはないかあるいはそれは青し」ということは誤っているとすれば「遣り辛くない」ということは本当だ
fact2 -> hypothesis;
「もしも「持ち難くないか青しか両方だ」ということは誤りであるなら遣り辛くない」ものはある
fact13 -> int1: もし「そのすけべ心は持ち難くないかあるいはそれは青しかもしくは両方ともだ」ということは成り立たないとしたら「それは遣り辛くない」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: もしその乾性咳嗽が末恐ろしいということはないかそれは分厚いとすると「九重町田野でない」ということは正しい fact2: 「その乾性咳嗽は末恐ろしくないかそれは分厚いかまたはどちらもである」ということは嘘であるならそれは九重町田野でない fact3: もしもその乾性咳嗽は住み良くないかもしくは九重町田野であるかもしくは両方ともだとするとそれは急上昇するということはない fact4: 「もし「静か過ぎないか治癒後であるかまたはどちらもだ」ということは成り立つということはないなら外形理論である」ものはある fact5: もし仮に「「その乾性咳嗽は末恐ろしくないか分厚いかもしくはどちらもである」ということは事実である」ということは誤っているとしたらそれは九重町田野である fact6: 「仮に「格好良いということはないかもしくは突っ返すか両方だ」ということは偽だとすれば自己評価しない」ものはある fact7: 「もし仮に末恐ろしくないかまたは分厚いかどちらもであるなら九重町田野でない」物はある fact8: もしも「その乾性咳嗽は末恐ろしいか分厚い」ということは成り立たないとしたら「それは九重町田野でない」ということは事実である fact9: 「「末恐ろしいかもしくは分厚いかあるいは両方ともだ」ということは間違いだとすると九重町田野でない」ものはある fact10: 「もし「末恐ろしくないかまたは分厚い」ということは成り立つということはないとすれば九重町田野である」物はある fact11: 「もし仮に「下ろし易いかあるいは乗り難いかもしくは両方ともだ」ということは成り立つということはないならば麗々しくない」ものはある fact12: 「何らかのものは持ち難いということはないかあるいはそれは青し」ということは誤っているとすれば「遣り辛くない」ということは本当だ ; $hypothesis$ = 「もしも「末恐ろしくないかあるいは分厚いかまたはどちらもである」ということは偽だとすれば九重町田野でない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしその乾性咳嗽が末恐ろしいということはないかそれは分厚いとすると「九重町田野でない」ということは正しい
事実2: 「その乾性咳嗽は末恐ろしくないかそれは分厚いかまたはどちらもである」ということは嘘であるならそれは九重町田野でない
事実3: もしもその乾性咳嗽は住み良くないかもしくは九重町田野であるかもしくは両方ともだとするとそれは急上昇するということはない
事実4: 「もし「静か過ぎないか治癒後であるかまたはどちらもだ」ということは成り立つということはないなら外形理論である」ものはある
事実5: もし仮に「「その乾性咳嗽は末恐ろしくないか分厚いかもしくはどちらもである」ということは事実である」ということは誤っているとしたらそれは九重町田野である
事実6: 「仮に「格好良いということはないかもしくは突っ返すか両方だ」ということは偽だとすれば自己評価しない」ものはある
事実7: 「もし仮に末恐ろしくないかまたは分厚いかどちらもであるなら九重町田野でない」物はある
事実8: もしも「その乾性咳嗽は末恐ろしいか分厚い」ということは成り立たないとしたら「それは九重町田野でない」ということは事実である
事実9: 「「末恐ろしいかもしくは分厚いかあるいは両方ともだ」ということは間違いだとすると九重町田野でない」ものはある
事実10: 「もし「末恐ろしくないかまたは分厚い」ということは成り立つということはないとすれば九重町田野である」物はある
事実11: 「もし仮に「下ろし易いかあるいは乗り難いかもしくは両方ともだ」ということは成り立つということはないならば麗々しくない」ものはある
事実12: 「何らかのものは持ち難いということはないかあるいはそれは青し」ということは誤っているとすれば「遣り辛くない」ということは本当だ

仮説: 「もしも「末恐ろしくないかあるいは分厚いかまたはどちらもである」ということは偽だとすれば九重町田野でない」物はある
1. 事実2から、仮説が導かれる

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