「その旅は弱しないかそれは心深くない」ということは誤っている
fact1: もし仮にその旅は発揮し易くないとすれば登録出来るけれどウオーキングシューズでない fact2: もし「とある物は極言しないが考え深い」ということは成り立たないとすればそれは発揮し易い fact3: そのＯＥＭは弱し fact4: 仮に「なにかはウオーキングシューズでないけどそれは登録出来る」ということは成り立たないとしたらそれは登録出来ない fact5: もしもその条が登録出来ないならばその旅は弱しないかまたはそれは心深くない fact6: もしなにがしかのものは発揮し易いとすれば「ウオーキングシューズでないが登録出来る」ということは間違いだ fact7: もし「その旅は登録出来る」ということは真実であるなら「その再婚相手は心深くないかあるいは二千五年度でないかまたは両方ともである」ということは本当でない fact8: 「その旅は弱しないかそれは心深くないかあるいは両方ともだ」ということは間違いである
fact8 -> hypothesis;
fact8 -> hypothesis;
「その再婚相手は心深くないかあるいは二千五年度だということはないか両方だ」ということは誤りである
$facts$ = fact1: もし仮にその旅は発揮し易くないとすれば登録出来るけれどウオーキングシューズでない fact2: もし「とある物は極言しないが考え深い」ということは成り立たないとすればそれは発揮し易い fact3: そのＯＥＭは弱し fact4: 仮に「なにかはウオーキングシューズでないけどそれは登録出来る」ということは成り立たないとしたらそれは登録出来ない fact5: もしもその条が登録出来ないならばその旅は弱しないかまたはそれは心深くない fact6: もしなにがしかのものは発揮し易いとすれば「ウオーキングシューズでないが登録出来る」ということは間違いだ fact7: もし「その旅は登録出来る」ということは真実であるなら「その再婚相手は心深くないかあるいは二千五年度でないかまたは両方ともである」ということは本当でない fact8: 「その旅は弱しないかそれは心深くないかあるいは両方ともだ」ということは間違いである ; $hypothesis$ = 「その旅は弱しないかそれは心深くない」ということは誤っている ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮にその旅は発揮し易くないとすれば登録出来るけれどウオーキングシューズでない
事実2: もし「とある物は極言しないが考え深い」ということは成り立たないとすればそれは発揮し易い
事実3: そのＯＥＭは弱し
事実4: 仮に「なにかはウオーキングシューズでないけどそれは登録出来る」ということは成り立たないとしたらそれは登録出来ない
事実5: もしもその条が登録出来ないならばその旅は弱しないかまたはそれは心深くない
事実6: もしなにがしかのものは発揮し易いとすれば「ウオーキングシューズでないが登録出来る」ということは間違いだ
事実7: もし「その旅は登録出来る」ということは真実であるなら「その再婚相手は心深くないかあるいは二千五年度でないかまたは両方ともである」ということは本当でない
事実8: 「その旅は弱しないかそれは心深くないかあるいは両方ともだ」ということは間違いである

仮説: 「その旅は弱しないかそれは心深くない」ということは誤っている
1. 事実8から、仮説が導かれる

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