「「野暮ったくないとしたら「来るかもしくは観光客らしくないかもしくはどちらもである」ということは正しくない」物はある」ということは間違いである
fact1: もし仮にその開店祝いは押し付けがましいとすると「野暮ったいかまたはカスタムしない」ということは偽だ fact2: 「仮にインフルエンザ菌であるということはないとすると「海底遺跡であるか神秘めくかまたは両方である」ということは嘘である」物はある fact3: 何かは野暮ったくないなら「それは来るかまたは観光客らしいかあるいは両方である」ということは偽だ fact4: もし仮になにかは野暮ったくないならば「来るかまたは観光客らしくない」ということは誤りである fact5: なにがしかのものが野暮ったくないとするとそれは来るということはない fact6: もし仮になにがしかの物は野暮ったいとすれば「来るか観光客らしくない」ということは成り立つということはない fact7: 「仮にあの技能習得は野暮ったくないとすれば「あの技能習得は来るか観光客らしい」ということは間違いである」ということは真実だ fact8: 「もしも通り易くないとすると「地域創造教育であるかナビゲートしないかまたはどちらもである」ということは誤りである」ものはある fact9: もし仮に何かは疎いとすれば「積もるかもしくは評点レベルであるということはないかまたはどちらもである」ということは嘘である fact10: 「「野暮ったい」ということは本当だとすると「来るかあるいは観光客らしくない」ということは偽である」物はある fact11: 「もしも鼓動するということはないとするとバンドルしない」ものはある fact12: もしあの技能習得が押し付けはましくらないとすると「それは話し辛いかもしくは待ち為さるかあるいは両方ともだ」ということは誤りである fact13: 仮に何かは野暮ったくないならば来るかもしくはそれは観光客らしくないかまたは両方である fact14: 「仮に三才図会でないなら「筋張るかあるいは売却するということはないかまたは両方である」ということは嘘な」ものはある fact15: もしも「あの技能習得は評点レベルでない」ということは正しいとすればそれは野暮ったくない fact16: もしあの技能習得はリビングエッセンスでないとしたら「それは野暮ったいかもしくは易しかもしくはどちらもである」ということは成り立たない fact17: もしあの人間生存は減弱でないとすると「それは観光客らしいかあるいは発生し難くないかまたは両方ともである」ということは間違いだ
fact4 -> int1: あの技能習得は野暮ったくないなら「それは来るか観光客らしくないかあるいはどちらもだ」ということは成り立つということはない; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮にその開店祝いは押し付けがましいとすると「野暮ったいかまたはカスタムしない」ということは偽だ fact2: 「仮にインフルエンザ菌であるということはないとすると「海底遺跡であるか神秘めくかまたは両方である」ということは嘘である」物はある fact3: 何かは野暮ったくないなら「それは来るかまたは観光客らしいかあるいは両方である」ということは偽だ fact4: もし仮になにかは野暮ったくないならば「来るかまたは観光客らしくない」ということは誤りである fact5: なにがしかのものが野暮ったくないとするとそれは来るということはない fact6: もし仮になにがしかの物は野暮ったいとすれば「来るか観光客らしくない」ということは成り立つということはない fact7: 「仮にあの技能習得は野暮ったくないとすれば「あの技能習得は来るか観光客らしい」ということは間違いである」ということは真実だ fact8: 「もしも通り易くないとすると「地域創造教育であるかナビゲートしないかまたはどちらもである」ということは誤りである」ものはある fact9: もし仮に何かは疎いとすれば「積もるかもしくは評点レベルであるということはないかまたはどちらもである」ということは嘘である fact10: 「「野暮ったい」ということは本当だとすると「来るかあるいは観光客らしくない」ということは偽である」物はある fact11: 「もしも鼓動するということはないとするとバンドルしない」ものはある fact12: もしあの技能習得が押し付けはましくらないとすると「それは話し辛いかもしくは待ち為さるかあるいは両方ともだ」ということは誤りである fact13: 仮に何かは野暮ったくないならば来るかもしくはそれは観光客らしくないかまたは両方である fact14: 「仮に三才図会でないなら「筋張るかあるいは売却するということはないかまたは両方である」ということは嘘な」ものはある fact15: もしも「あの技能習得は評点レベルでない」ということは正しいとすればそれは野暮ったくない fact16: もしあの技能習得はリビングエッセンスでないとしたら「それは野暮ったいかもしくは易しかもしくはどちらもである」ということは成り立たない fact17: もしあの人間生存は減弱でないとすると「それは観光客らしいかあるいは発生し難くないかまたは両方ともである」ということは間違いだ ; $hypothesis$ = 「「野暮ったくないとしたら「来るかもしくは観光客らしくないかもしくはどちらもである」ということは正しくない」物はある」ということは間違いである ; $proof$ = 
fact4 -> int1: あの技能習得は野暮ったくないなら「それは来るか観光客らしくないかあるいはどちらもだ」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にその開店祝いは押し付けがましいとすると「野暮ったいかまたはカスタムしない」ということは偽だ
事実2: 「仮にインフルエンザ菌であるということはないとすると「海底遺跡であるか神秘めくかまたは両方である」ということは嘘である」物はある
事実3: 何かは野暮ったくないなら「それは来るかまたは観光客らしいかあるいは両方である」ということは偽だ
事実4: もし仮になにかは野暮ったくないならば「来るかまたは観光客らしくない」ということは誤りである
事実5: なにがしかのものが野暮ったくないとするとそれは来るということはない
事実6: もし仮になにがしかの物は野暮ったいとすれば「来るか観光客らしくない」ということは成り立つということはない
事実7: 「仮にあの技能習得は野暮ったくないとすれば「あの技能習得は来るか観光客らしい」ということは間違いである」ということは真実だ
事実8: 「もしも通り易くないとすると「地域創造教育であるかナビゲートしないかまたはどちらもである」ということは誤りである」ものはある
事実9: もし仮に何かは疎いとすれば「積もるかもしくは評点レベルであるということはないかまたはどちらもである」ということは嘘である
事実10: 「「野暮ったい」ということは本当だとすると「来るかあるいは観光客らしくない」ということは偽である」物はある
事実11: 「もしも鼓動するということはないとするとバンドルしない」ものはある
事実12: もしあの技能習得が押し付けはましくらないとすると「それは話し辛いかもしくは待ち為さるかあるいは両方ともだ」ということは誤りである
事実13: 仮に何かは野暮ったくないならば来るかもしくはそれは観光客らしくないかまたは両方である
事実14: 「仮に三才図会でないなら「筋張るかあるいは売却するということはないかまたは両方である」ということは嘘な」ものはある
事実15: もしも「あの技能習得は評点レベルでない」ということは正しいとすればそれは野暮ったくない
事実16: もしあの技能習得はリビングエッセンスでないとしたら「それは野暮ったいかもしくは易しかもしくはどちらもである」ということは成り立たない
事実17: もしあの人間生存は減弱でないとすると「それは観光客らしいかあるいは発生し難くないかまたは両方ともである」ということは間違いだ

仮説: 「「野暮ったくないとしたら「来るかもしくは観光客らしくないかもしくはどちらもである」ということは正しくない」物はある」ということは間違いである
1. 事実4から、推論1: "あの技能習得は野暮ったくないなら「それは来るか観光客らしくないかあるいはどちらもだ」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が否定される

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