「もし「自嘲するか産業化しない」ということは偽であるとするとアフターファイブであるということはない」物はある
fact1: このマイクちゃーんは自嘲するかあるいは産業化しないとしたらそれはアフターファイブでない fact2: 「自嘲するかまたは産業化しないかあるいは両方だとすれば「アフターファイブだ」ということは事実と異なる」ものはある fact3: 「もし「自嘲するかまたは産業化しないか両方ともである」ということは成り立たないならばアフターファイブな」ものはある fact4: 「なんらかの物は自嘲するかあるいはそれは白茶けない」ということは成り立たないなら「それは代謝しない」ということは事実と異ならない fact5: もし「このマイクちゃーんは自嘲するかあるいは産業化するかまたは両方だ」ということは誤りであるとすればそれはアフターファイブでない fact6: 「もし仮に「貧困問題であるかまたはソマ麦でない」ということは事実と異なるとしたら床しかない」ものはある fact7: 「このマイクちゃーんは気難しいかあるいはそれは移り始めないかあるいは両方である」ということは成り立たないならそれは自嘲しない fact8: 「もし仮に「自嘲するかもしくは産業化するかまたは両方ともである」ということは成り立たないならばアフターファイブでない」ものはある fact9: 「仮に「ひもじいかあるいは国際理解でないかあるいは両方ともだ」ということは本当でないなら劣性遺伝子でない」物はある fact10: 「ある物は枯渇するかあるいは阻害しない」ということは成り立つということはないとすれば発揮し難くない fact11: 仮に「このマイクちゃーんは自嘲するか産業化しない」ということは偽だとすればそれはアフターファイブでない fact12: もしも「あの絵馬は斑であるかまたはそれは伝道しないかもしくはどちらもだ」ということは嘘であるとするとそれは産業化しない fact13: 「もし「陥入するかもしくは御若くないかまたは両方だ」ということは間違っているなら「阪急電車でない」ということは成り立つ」ものはある fact14: 「仮に「大きいかあるいは前条注でない」ということは誤りならば社会階層でない」物はある fact15: 「もし仮に「大きいか伝道しないかあるいはどちらもだ」ということは間違いだとしたらセンター長でない」物はある fact16: もし仮に「このマイクちゃーんは自嘲するかもしくは産業化しないかもしくは両方だ」ということは成り立たないとすれば「それはアフターファイブだ」ということは事実である
fact11 -> hypothesis;
「あの決死は自嘲するかもしくは白茶けるということはないかもしくは両方だ」ということは真実でないなら代謝しない
fact17 -> hypothesis;
$facts$ = fact1: このマイクちゃーんは自嘲するかあるいは産業化しないとしたらそれはアフターファイブでない fact2: 「自嘲するかまたは産業化しないかあるいは両方だとすれば「アフターファイブだ」ということは事実と異なる」ものはある fact3: 「もし「自嘲するかまたは産業化しないか両方ともである」ということは成り立たないならばアフターファイブな」ものはある fact4: 「なんらかの物は自嘲するかあるいはそれは白茶けない」ということは成り立たないなら「それは代謝しない」ということは事実と異ならない fact5: もし「このマイクちゃーんは自嘲するかあるいは産業化するかまたは両方だ」ということは誤りであるとすればそれはアフターファイブでない fact6: 「もし仮に「貧困問題であるかまたはソマ麦でない」ということは事実と異なるとしたら床しかない」ものはある fact7: 「このマイクちゃーんは気難しいかあるいはそれは移り始めないかあるいは両方である」ということは成り立たないならそれは自嘲しない fact8: 「もし仮に「自嘲するかもしくは産業化するかまたは両方ともである」ということは成り立たないならばアフターファイブでない」ものはある fact9: 「仮に「ひもじいかあるいは国際理解でないかあるいは両方ともだ」ということは本当でないなら劣性遺伝子でない」物はある fact10: 「ある物は枯渇するかあるいは阻害しない」ということは成り立つということはないとすれば発揮し難くない fact11: 仮に「このマイクちゃーんは自嘲するか産業化しない」ということは偽だとすればそれはアフターファイブでない fact12: もしも「あの絵馬は斑であるかまたはそれは伝道しないかもしくはどちらもだ」ということは嘘であるとするとそれは産業化しない fact13: 「もし「陥入するかもしくは御若くないかまたは両方だ」ということは間違っているなら「阪急電車でない」ということは成り立つ」ものはある fact14: 「仮に「大きいかあるいは前条注でない」ということは誤りならば社会階層でない」物はある fact15: 「もし仮に「大きいか伝道しないかあるいはどちらもだ」ということは間違いだとしたらセンター長でない」物はある fact16: もし仮に「このマイクちゃーんは自嘲するかもしくは産業化しないかもしくは両方だ」ということは成り立たないとすれば「それはアフターファイブだ」ということは事実である ; $hypothesis$ = 「もし「自嘲するか産業化しない」ということは偽であるとするとアフターファイブであるということはない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: このマイクちゃーんは自嘲するかあるいは産業化しないとしたらそれはアフターファイブでない
事実2: 「自嘲するかまたは産業化しないかあるいは両方だとすれば「アフターファイブだ」ということは事実と異なる」ものはある
事実3: 「もし「自嘲するかまたは産業化しないか両方ともである」ということは成り立たないならばアフターファイブな」ものはある
事実4: 「なんらかの物は自嘲するかあるいはそれは白茶けない」ということは成り立たないなら「それは代謝しない」ということは事実と異ならない
事実5: もし「このマイクちゃーんは自嘲するかあるいは産業化するかまたは両方だ」ということは誤りであるとすればそれはアフターファイブでない
事実6: 「もし仮に「貧困問題であるかまたはソマ麦でない」ということは事実と異なるとしたら床しかない」ものはある
事実7: 「このマイクちゃーんは気難しいかあるいはそれは移り始めないかあるいは両方である」ということは成り立たないならそれは自嘲しない
事実8: 「もし仮に「自嘲するかもしくは産業化するかまたは両方ともである」ということは成り立たないならばアフターファイブでない」ものはある
事実9: 「仮に「ひもじいかあるいは国際理解でないかあるいは両方ともだ」ということは本当でないなら劣性遺伝子でない」物はある
事実10: 「ある物は枯渇するかあるいは阻害しない」ということは成り立つということはないとすれば発揮し難くない
事実11: 仮に「このマイクちゃーんは自嘲するか産業化しない」ということは偽だとすればそれはアフターファイブでない
事実12: もしも「あの絵馬は斑であるかまたはそれは伝道しないかもしくはどちらもだ」ということは嘘であるとするとそれは産業化しない
事実13: 「もし「陥入するかもしくは御若くないかまたは両方だ」ということは間違っているなら「阪急電車でない」ということは成り立つ」ものはある
事実14: 「仮に「大きいかあるいは前条注でない」ということは誤りならば社会階層でない」物はある
事実15: 「もし仮に「大きいか伝道しないかあるいはどちらもだ」ということは間違いだとしたらセンター長でない」物はある
事実16: もし仮に「このマイクちゃーんは自嘲するかもしくは産業化しないかもしくは両方だ」ということは成り立たないとすれば「それはアフターファイブだ」ということは事実である

仮説: 「もし「自嘲するか産業化しない」ということは偽であるとするとアフターファイブであるということはない」物はある
1. 事実11から、仮説が導かれる

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