「もしも「軽いしその上殴り返す」ということは誤りであるとすると「恋しかない」ということは成り立つ」ものはある
fact1: 「もし仮に殴り返さないならば「恋しかない」ということは正しい」ものはある fact2: もし仮に「その二Ｂは軽くてさらに殴り返す」ということは本当でないとすると恋しかない fact3: 「もしも軽くて更に殴り返せば恋しかない」物はある fact4: もしも「その二Ｂは軽いし殴り返す」ということは間違いであるとすると「それは恋しい」ということは成り立つ fact5: もし「「あるものは度し難いし加えて張り切り過ぎる」ということは真実である」ということは偽であるならばそれは失火するということはない fact6: 仮に「その二Ｂが終わり方だしそれに恋しい」ということは間違っているとすれば「それは気高くない」ということは事実だ fact7: 「もし軽くないとすると恋しいということはない」ものはある fact8: 「その二Ｂは軽いし殴り返せば「その二Ｂは恋しかない」ということは真実だ」ということは確かである fact9: 仮に「「その二Ｂはパーソナライズするしその上終わり方である」ということは間違いだ」ということは本当だとすると軽くない fact10: もし「「何かはむさいしその上軽い」ということは正しい」ということは成り立つということはないならばそれは通ずない fact11: 「仮に「軽くてまた殴り返す」ということは確かでないとすれば恋しい」ものはある fact12: 「もしも「御悪くて三．二．四Ａだ」ということは正しくないならば真反対でない」物はある fact13: もしその二Ｂは殴り返さないならば「それは恋しかない」ということは正しい
fact2 -> hypothesis;
仮に「その中尉はむさいししかも軽い」ということは成り立つということはないとすれば通ずということはない
fact14 -> hypothesis;
$facts$ = fact1: 「もし仮に殴り返さないならば「恋しかない」ということは正しい」ものはある fact2: もし仮に「その二Ｂは軽くてさらに殴り返す」ということは本当でないとすると恋しかない fact3: 「もしも軽くて更に殴り返せば恋しかない」物はある fact4: もしも「その二Ｂは軽いし殴り返す」ということは間違いであるとすると「それは恋しい」ということは成り立つ fact5: もし「「あるものは度し難いし加えて張り切り過ぎる」ということは真実である」ということは偽であるならばそれは失火するということはない fact6: 仮に「その二Ｂが終わり方だしそれに恋しい」ということは間違っているとすれば「それは気高くない」ということは事実だ fact7: 「もし軽くないとすると恋しいということはない」ものはある fact8: 「その二Ｂは軽いし殴り返せば「その二Ｂは恋しかない」ということは真実だ」ということは確かである fact9: 仮に「「その二Ｂはパーソナライズするしその上終わり方である」ということは間違いだ」ということは本当だとすると軽くない fact10: もし「「何かはむさいしその上軽い」ということは正しい」ということは成り立つということはないならばそれは通ずない fact11: 「仮に「軽くてまた殴り返す」ということは確かでないとすれば恋しい」ものはある fact12: 「もしも「御悪くて三．二．四Ａだ」ということは正しくないならば真反対でない」物はある fact13: もしその二Ｂは殴り返さないならば「それは恋しかない」ということは正しい ; $hypothesis$ = 「もしも「軽いしその上殴り返す」ということは誤りであるとすると「恋しかない」ということは成り立つ」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に殴り返さないならば「恋しかない」ということは正しい」ものはある
事実2: もし仮に「その二Ｂは軽くてさらに殴り返す」ということは本当でないとすると恋しかない
事実3: 「もしも軽くて更に殴り返せば恋しかない」物はある
事実4: もしも「その二Ｂは軽いし殴り返す」ということは間違いであるとすると「それは恋しい」ということは成り立つ
事実5: もし「「あるものは度し難いし加えて張り切り過ぎる」ということは真実である」ということは偽であるならばそれは失火するということはない
事実6: 仮に「その二Ｂが終わり方だしそれに恋しい」ということは間違っているとすれば「それは気高くない」ということは事実だ
事実7: 「もし軽くないとすると恋しいということはない」ものはある
事実8: 「その二Ｂは軽いし殴り返せば「その二Ｂは恋しかない」ということは真実だ」ということは確かである
事実9: 仮に「「その二Ｂはパーソナライズするしその上終わり方である」ということは間違いだ」ということは本当だとすると軽くない
事実10: もし「「何かはむさいしその上軽い」ということは正しい」ということは成り立つということはないならばそれは通ずない
事実11: 「仮に「軽くてまた殴り返す」ということは確かでないとすれば恋しい」ものはある
事実12: 「もしも「御悪くて三．二．四Ａだ」ということは正しくないならば真反対でない」物はある
事実13: もしその二Ｂは殴り返さないならば「それは恋しかない」ということは正しい

仮説: 「もしも「軽いしその上殴り返す」ということは誤りであるとすると「恋しかない」ということは成り立つ」ものはある
1. 事実2から、仮説が導かれる

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