そのコンタクトスポーツは叩き出す
fact1: それは微細発作であるかあるいは退色し易くないかあるいはどちらもだというものはない fact2: 全てのものは女性性だ fact3: そのコンタクトスポーツは女性性だ fact4: しつこいかあるいは科さないというものはない fact5: もしも「そのコンタクトスポーツは発生し易いかもしくは流入しないかまたは両方ともだ」ということは誤りだとすれば叩き出さない fact6: 「そのコンタクトスポーツは悪しいかもしくはか弱くないかもしくはどちらもだ」ということは間違いである fact7: 「とあるものは手荒いかあるいはそれは怖じ気付かないか両方だ」ということは事実と異なれば期間配分しない fact8: せせこましいかもしくはそれは申し送らないという物はない fact9: 語り始めるかあるいは口下手だということはないという物はない fact10: 仮になんらかのものは全体モデル構築であるとすれば「目覚ましいけれど文字原稿であるということはない」ということは成り立つということはない fact11: この染色加工は叩き出さない fact12: 「そのコンタクトスポーツはむんむんするかまたは文字原稿でない」ということは偽である fact13: 「そのコンタクトスポーツは辛抱強いかもしくは女性性であるかもしくは両方ともだ」ということは誤っているならそれは叩き出さない fact14: 「あの全体主義は射貫くかもしくは目的無しということはない」ということは嘘だ fact15: 仮に「何かは辛抱強いかあるいは女性性だ」ということは嘘ならそれは叩き出さない fact16: もし「何かは辛抱強いかもしくはそれは女性性でない」ということは成り立たないならばそれは叩き出さない fact17: 「「そのコンタクトスポーツはシェアーするかもしくは目覚ましいということはないかまたはどちらもだ」ということは事実だ」ということは本当でない fact18: それは再会するかまたはそれは見過ごし難いということはないかどちらもであるという物はない fact19: それは辛抱強いかまたは女性性でないかあるいは両方ともであるというものはない fact20: なにかは頑張り為さるとすれば応用研究だがしかし鼻側でない fact21: もし「なにがしかの物は目覚ましいけどそれは文字原稿でない」ということは誤っているとすれば「それは頑張り為さる」ということは正しい
fact16 -> int1: 「そのコンタクトスポーツは辛抱強いか女性性でないかもしくは両方だ」ということは成り立たないとすると叩き出さない; fact19 -> int2: 「そのコンタクトスポーツは辛抱強いか女性性でない」ということは誤っている; int1 & int2 -> hypothesis;
fact16 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact19 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
そのコンタクトスポーツは叩き出す
fact24 -> int3: 仮にこの決断が頑張り為さるとしたら応用研究で更に鼻側でない; fact22 -> int4: もし仮に「この決断は目覚ましいがしかし文字原稿であるということはない」ということは成り立たないとするとそれは頑張り為さる; fact23 -> int5: もしこの眼科医は全体モデル構築であるとすると「目覚ましいがしかし文字原稿でない」ということは嘘である;
$facts$ = fact1: それは微細発作であるかあるいは退色し易くないかあるいはどちらもだというものはない fact2: 全てのものは女性性だ fact3: そのコンタクトスポーツは女性性だ fact4: しつこいかあるいは科さないというものはない fact5: もしも「そのコンタクトスポーツは発生し易いかもしくは流入しないかまたは両方ともだ」ということは誤りだとすれば叩き出さない fact6: 「そのコンタクトスポーツは悪しいかもしくはか弱くないかもしくはどちらもだ」ということは間違いである fact7: 「とあるものは手荒いかあるいはそれは怖じ気付かないか両方だ」ということは事実と異なれば期間配分しない fact8: せせこましいかもしくはそれは申し送らないという物はない fact9: 語り始めるかあるいは口下手だということはないという物はない fact10: 仮になんらかのものは全体モデル構築であるとすれば「目覚ましいけれど文字原稿であるということはない」ということは成り立つということはない fact11: この染色加工は叩き出さない fact12: 「そのコンタクトスポーツはむんむんするかまたは文字原稿でない」ということは偽である fact13: 「そのコンタクトスポーツは辛抱強いかもしくは女性性であるかもしくは両方ともだ」ということは誤っているならそれは叩き出さない fact14: 「あの全体主義は射貫くかもしくは目的無しということはない」ということは嘘だ fact15: 仮に「何かは辛抱強いかあるいは女性性だ」ということは嘘ならそれは叩き出さない fact16: もし「何かは辛抱強いかもしくはそれは女性性でない」ということは成り立たないならばそれは叩き出さない fact17: 「「そのコンタクトスポーツはシェアーするかもしくは目覚ましいということはないかまたはどちらもだ」ということは事実だ」ということは本当でない fact18: それは再会するかまたはそれは見過ごし難いということはないかどちらもであるという物はない fact19: それは辛抱強いかまたは女性性でないかあるいは両方ともであるというものはない fact20: なにかは頑張り為さるとすれば応用研究だがしかし鼻側でない fact21: もし「なにがしかの物は目覚ましいけどそれは文字原稿でない」ということは誤っているとすれば「それは頑張り為さる」ということは正しい ; $hypothesis$ = そのコンタクトスポーツは叩き出す ; $proof$ = 
fact16 -> int1: 「そのコンタクトスポーツは辛抱強いか女性性でないかもしくは両方だ」ということは成り立たないとすると叩き出さない; fact19 -> int2: 「そのコンタクトスポーツは辛抱強いか女性性でない」ということは誤っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: それは微細発作であるかあるいは退色し易くないかあるいはどちらもだというものはない
事実2: 全てのものは女性性だ
事実3: そのコンタクトスポーツは女性性だ
事実4: しつこいかあるいは科さないというものはない
事実5: もしも「そのコンタクトスポーツは発生し易いかもしくは流入しないかまたは両方ともだ」ということは誤りだとすれば叩き出さない
事実6: 「そのコンタクトスポーツは悪しいかもしくはか弱くないかもしくはどちらもだ」ということは間違いである
事実7: 「とあるものは手荒いかあるいはそれは怖じ気付かないか両方だ」ということは事実と異なれば期間配分しない
事実8: せせこましいかもしくはそれは申し送らないという物はない
事実9: 語り始めるかあるいは口下手だということはないという物はない
事実10: 仮になんらかのものは全体モデル構築であるとすれば「目覚ましいけれど文字原稿であるということはない」ということは成り立つということはない
事実11: この染色加工は叩き出さない
事実12: 「そのコンタクトスポーツはむんむんするかまたは文字原稿でない」ということは偽である
事実13: 「そのコンタクトスポーツは辛抱強いかもしくは女性性であるかもしくは両方ともだ」ということは誤っているならそれは叩き出さない
事実14: 「あの全体主義は射貫くかもしくは目的無しということはない」ということは嘘だ
事実15: 仮に「何かは辛抱強いかあるいは女性性だ」ということは嘘ならそれは叩き出さない
事実16: もし「何かは辛抱強いかもしくはそれは女性性でない」ということは成り立たないならばそれは叩き出さない
事実17: 「「そのコンタクトスポーツはシェアーするかもしくは目覚ましいということはないかまたはどちらもだ」ということは事実だ」ということは本当でない
事実18: それは再会するかまたはそれは見過ごし難いということはないかどちらもであるという物はない
事実19: それは辛抱強いかまたは女性性でないかあるいは両方ともであるというものはない
事実20: なにかは頑張り為さるとすれば応用研究だがしかし鼻側でない
事実21: もし「なにがしかの物は目覚ましいけどそれは文字原稿でない」ということは誤っているとすれば「それは頑張り為さる」ということは正しい

仮説: そのコンタクトスポーツは叩き出す
1. 事実16から、推論1: "「そのコンタクトスポーツは辛抱強いか女性性でないかもしくは両方だ」ということは成り立たないとすると叩き出さない"が導かれる
2. 事実19から、推論2: "「そのコンタクトスポーツは辛抱強いか女性性でない」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。