「「合併し易くないかもしくは乗り継ぐかどちらもである」ということは成り立たないなら「小茄子である」ということは正しい」物はある
fact1: 「もし「置き易くないかまたは浮き易いかどちらもだ」ということは本当であるということはないとすると厳しい」物はある fact2: 「もし仮にあの大隊長が合併し易くないかもしくはそれが乗り継ぐかまたはどちらもであるならばあの大隊長は小茄子である」ということは成り立つ fact3: 「「あの大隊長は合併し易くないかもしくはそれは乗り継ぐかどちらもだ」ということは確かである」ということは誤りなら小茄子だ fact4: 「あの大隊長は合併し易いかあるいは乗り継ぐか両方ともである」ということは嘘であるならば小茄子だ fact5: 「もし仮に「合併し易いかあるいは乗り継ぐかまたは両方だ」ということは誤りだとすれば小茄子な」物はある fact6: 「もしも「饐えるということはないか再検討するかあるいはどちらもである」ということは誤っていれば御本社である」ものはある fact7: 「もしも合併し易くないか乗り継ぐか両方だとすれば小茄子である」ものはある fact8: もし「あの咽頭癌は合併し易くないかそれは補佐するか両方である」ということは偽であるならば近しい fact9: 仮に「あの大隊長は小茄子でないかもしくは調和し難い」ということは嘘であるとすればそれは贖う
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「もし「置き易くないかまたは浮き易いかどちらもだ」ということは本当であるということはないとすると厳しい」物はある fact2: 「もし仮にあの大隊長が合併し易くないかもしくはそれが乗り継ぐかまたはどちらもであるならばあの大隊長は小茄子である」ということは成り立つ fact3: 「「あの大隊長は合併し易くないかもしくはそれは乗り継ぐかどちらもだ」ということは確かである」ということは誤りなら小茄子だ fact4: 「あの大隊長は合併し易いかあるいは乗り継ぐか両方ともである」ということは嘘であるならば小茄子だ fact5: 「もし仮に「合併し易いかあるいは乗り継ぐかまたは両方だ」ということは誤りだとすれば小茄子な」物はある fact6: 「もしも「饐えるということはないか再検討するかあるいはどちらもである」ということは誤っていれば御本社である」ものはある fact7: 「もしも合併し易くないか乗り継ぐか両方だとすれば小茄子である」ものはある fact8: もし「あの咽頭癌は合併し易くないかそれは補佐するか両方である」ということは偽であるならば近しい fact9: 仮に「あの大隊長は小茄子でないかもしくは調和し難い」ということは嘘であるとすればそれは贖う ; $hypothesis$ = 「「合併し易くないかもしくは乗り継ぐかどちらもである」ということは成り立たないなら「小茄子である」ということは正しい」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし「置き易くないかまたは浮き易いかどちらもだ」ということは本当であるということはないとすると厳しい」物はある
事実2: 「もし仮にあの大隊長が合併し易くないかもしくはそれが乗り継ぐかまたはどちらもであるならばあの大隊長は小茄子である」ということは成り立つ
事実3: 「「あの大隊長は合併し易くないかもしくはそれは乗り継ぐかどちらもだ」ということは確かである」ということは誤りなら小茄子だ
事実4: 「あの大隊長は合併し易いかあるいは乗り継ぐか両方ともである」ということは嘘であるならば小茄子だ
事実5: 「もし仮に「合併し易いかあるいは乗り継ぐかまたは両方だ」ということは誤りだとすれば小茄子な」物はある
事実6: 「もしも「饐えるということはないか再検討するかあるいはどちらもである」ということは誤っていれば御本社である」ものはある
事実7: 「もしも合併し易くないか乗り継ぐか両方だとすれば小茄子である」ものはある
事実8: もし「あの咽頭癌は合併し易くないかそれは補佐するか両方である」ということは偽であるならば近しい
事実9: 仮に「あの大隊長は小茄子でないかもしくは調和し難い」ということは嘘であるとすればそれは贖う

仮説: 「「合併し易くないかもしくは乗り継ぐかどちらもである」ということは成り立たないなら「小茄子である」ということは正しい」物はある
1. 事実3から、仮説が導かれる

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