「もしも負荷しないとすると「「つっかえるしさらに太田母斑だ」ということは成り立つ」ということは成り立つということはない」物はある
fact1: あの世界自然保護基金は負荷しないなら「つっかえるしそれに太田母斑だ」ということは偽だ fact2: もしもあの世界自然保護基金が具するということはないとすればそれが後任だし負荷する fact3: もしもあの世界自然保護基金が負荷しないならつっかえるし太田母斑である fact4: もし仮にあのバッチファイルは吸い口でないとすれば「それはホグワーツ校でそれはつっかえる」ということは成り立たない fact5: もしあるものは見渡さないなら「それは外来通院するしその上つっかえる」ということは誤っている fact6: 「負荷するなら「つっかえるしおまけに太田母斑である」ということは成り立たない」物はある fact7: 「「負荷しない」ということは真実だとしたらつっかえるしまた太田母斑である」ものはある fact8: 「もしも「会計処理しない」ということは成り立つとすればリサーチするし慎ましい」ものはある fact9: 仮にあの世界自然保護基金は負荷するなら「それはつっかえるし太田母斑である」ということは成り立つということはない fact10: 仮に何かはファーストフードでないなら「太田母斑で湿気易い」ということは成り立つということはない
fact1 -> hypothesis;
もしもその土手下は見渡さないとしたら「外来通院するしつっかえる」ということは成り立つということはない
fact11 -> hypothesis;
$facts$ = fact1: あの世界自然保護基金は負荷しないなら「つっかえるしそれに太田母斑だ」ということは偽だ fact2: もしもあの世界自然保護基金が具するということはないとすればそれが後任だし負荷する fact3: もしもあの世界自然保護基金が負荷しないならつっかえるし太田母斑である fact4: もし仮にあのバッチファイルは吸い口でないとすれば「それはホグワーツ校でそれはつっかえる」ということは成り立たない fact5: もしあるものは見渡さないなら「それは外来通院するしその上つっかえる」ということは誤っている fact6: 「負荷するなら「つっかえるしおまけに太田母斑である」ということは成り立たない」物はある fact7: 「「負荷しない」ということは真実だとしたらつっかえるしまた太田母斑である」ものはある fact8: 「もしも「会計処理しない」ということは成り立つとすればリサーチするし慎ましい」ものはある fact9: 仮にあの世界自然保護基金は負荷するなら「それはつっかえるし太田母斑である」ということは成り立つということはない fact10: 仮に何かはファーストフードでないなら「太田母斑で湿気易い」ということは成り立つということはない ; $hypothesis$ = 「もしも負荷しないとすると「「つっかえるしさらに太田母斑だ」ということは成り立つ」ということは成り立つということはない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの世界自然保護基金は負荷しないなら「つっかえるしそれに太田母斑だ」ということは偽だ
事実2: もしもあの世界自然保護基金が具するということはないとすればそれが後任だし負荷する
事実3: もしもあの世界自然保護基金が負荷しないならつっかえるし太田母斑である
事実4: もし仮にあのバッチファイルは吸い口でないとすれば「それはホグワーツ校でそれはつっかえる」ということは成り立たない
事実5: もしあるものは見渡さないなら「それは外来通院するしその上つっかえる」ということは誤っている
事実6: 「負荷するなら「つっかえるしおまけに太田母斑である」ということは成り立たない」物はある
事実7: 「「負荷しない」ということは真実だとしたらつっかえるしまた太田母斑である」ものはある
事実8: 「もしも「会計処理しない」ということは成り立つとすればリサーチするし慎ましい」ものはある
事実9: 仮にあの世界自然保護基金は負荷するなら「それはつっかえるし太田母斑である」ということは成り立つということはない
事実10: 仮に何かはファーストフードでないなら「太田母斑で湿気易い」ということは成り立つということはない

仮説: 「もしも負荷しないとすると「「つっかえるしさらに太田母斑だ」ということは成り立つ」ということは成り立つということはない」物はある
1. 事実1から、仮説が導かれる

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