「もし仮に「抗い難いかもしくは関わり合わないか両方ともである」ということは事実と異なるなら「導き得る」ということは確かな」物はある
fact1: 「もし仮に「「抗い難いかもしくは関わり合うかもしくは両方だ」ということは成り立つ」ということは成り立たないとすれば「導き得る」ということは確かな」ものはある fact2: もし仮に「そのフレアースカートは緊張するかもしくは関わり合うかあるいは両方ともだ」ということは成り立たないとすると「それははしたない」ということは本当だ fact3: もし仮にあるものは狭しかあるいは感じ出さないか両方であるなら恵み深い fact4: 「もしも「保全命令であるか加工技術である」ということは成り立たないなら全年齢な」物はある fact5: もし仮に「何らかのものは基本類型であるかあるいは整理・統合しない」ということは成り立たないとしたら掴める fact6: 仮に「なにがしかの物は抗い難いか関わり合わないかあるいは両方である」ということは確かでないとすれば導き得る fact7: もしも「なんらかのものは抗い難いかそれは関わり合うかまたは両方ともだ」ということは真実でないなら「それは導き得るということはない」ということは成り立たない fact8: もし仮に「あるものは電気炉であるか呆気ないかあるいは両方ともである」ということは間違いであるならば緊張する fact9: 「もし仮に「抗い難いか関わり合うということはないか両方である」ということは成り立つとすると導き得る」ものはある fact10: 「もしも「勇ましいか焼け窶れるかあるいは両方ともである」ということは事実でないとすると独身寮である」ものはある
fact6 -> int1: もしも「そのフレアースカートは抗い難いかまたは関わり合わないかまたはどちらもである」ということは偽ならばそれは導き得る; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「「抗い難いかもしくは関わり合うかもしくは両方だ」ということは成り立つ」ということは成り立たないとすれば「導き得る」ということは確かな」ものはある fact2: もし仮に「そのフレアースカートは緊張するかもしくは関わり合うかあるいは両方ともだ」ということは成り立たないとすると「それははしたない」ということは本当だ fact3: もし仮にあるものは狭しかあるいは感じ出さないか両方であるなら恵み深い fact4: 「もしも「保全命令であるか加工技術である」ということは成り立たないなら全年齢な」物はある fact5: もし仮に「何らかのものは基本類型であるかあるいは整理・統合しない」ということは成り立たないとしたら掴める fact6: 仮に「なにがしかの物は抗い難いか関わり合わないかあるいは両方である」ということは確かでないとすれば導き得る fact7: もしも「なんらかのものは抗い難いかそれは関わり合うかまたは両方ともだ」ということは真実でないなら「それは導き得るということはない」ということは成り立たない fact8: もし仮に「あるものは電気炉であるか呆気ないかあるいは両方ともである」ということは間違いであるならば緊張する fact9: 「もし仮に「抗い難いか関わり合うということはないか両方である」ということは成り立つとすると導き得る」ものはある fact10: 「もしも「勇ましいか焼け窶れるかあるいは両方ともである」ということは事実でないとすると独身寮である」ものはある ; $hypothesis$ = 「もし仮に「抗い難いかもしくは関わり合わないか両方ともである」ということは事実と異なるなら「導き得る」ということは確かな」物はある ; $proof$ = 
fact6 -> int1: もしも「そのフレアースカートは抗い難いかまたは関わり合わないかまたはどちらもである」ということは偽ならばそれは導き得る; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に「「抗い難いかもしくは関わり合うかもしくは両方だ」ということは成り立つ」ということは成り立たないとすれば「導き得る」ということは確かな」ものはある
事実2: もし仮に「そのフレアースカートは緊張するかもしくは関わり合うかあるいは両方ともだ」ということは成り立たないとすると「それははしたない」ということは本当だ
事実3: もし仮にあるものは狭しかあるいは感じ出さないか両方であるなら恵み深い
事実4: 「もしも「保全命令であるか加工技術である」ということは成り立たないなら全年齢な」物はある
事実5: もし仮に「何らかのものは基本類型であるかあるいは整理・統合しない」ということは成り立たないとしたら掴める
事実6: 仮に「なにがしかの物は抗い難いか関わり合わないかあるいは両方である」ということは確かでないとすれば導き得る
事実7: もしも「なんらかのものは抗い難いかそれは関わり合うかまたは両方ともだ」ということは真実でないなら「それは導き得るということはない」ということは成り立たない
事実8: もし仮に「あるものは電気炉であるか呆気ないかあるいは両方ともである」ということは間違いであるならば緊張する
事実9: 「もし仮に「抗い難いか関わり合うということはないか両方である」ということは成り立つとすると導き得る」ものはある
事実10: 「もしも「勇ましいか焼け窶れるかあるいは両方ともである」ということは事実でないとすると独身寮である」ものはある

仮説: 「もし仮に「抗い難いかもしくは関わり合わないか両方ともである」ということは事実と異なるなら「導き得る」ということは確かな」物はある
1. 事実6から、推論1: "もしも「そのフレアースカートは抗い難いかまたは関わり合わないかまたはどちらもである」ということは偽ならばそれは導き得る"が導かれる
2. 推論1から、仮説が導かれる

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