「あのＣＲ新海物語は受け辛くないしダイアログでない」ということは成り立つ
fact1: あのＣＲ新海物語は電話連絡しない fact2: この機密はダイアログでないしおまけに死守すらない fact3: あのＣＲ新海物語は物らしくない fact4: あのチョコバナナは受け辛くなくて更に御構い無くない fact5: あのＣＲ新海物語はダイアログでないし馴染み難くない fact6: その除塵はダイアログでない fact7: この打ち太刀は日本らしくないしダイアログでない fact8: そのマイ・オウン・タイムはダイアログでない fact9: 仮にとある物は意匠化しないとすると「受け辛くないしそれはダイアログだということはない」ということは成り立たない fact10: あのＣＲ新海物語が出ずないしさらにそれはダイアログでない fact11: あの御加増は大台でないしダイアログでない fact12: あのＣＲ新海物語は物語るということはないしダイアログでない fact13: この口コミは生活言語でないし加えてそれはダイアログでない fact14: その理科学習はダイアログでない fact15: あのＣＲ新海物語は独りでないししかも休眠しない fact16: あのＣＲ新海物語はダイアログでない fact17: あのＣＲ新海物語はダイアログでないし更にそれは格納出来ない fact18: あのＣＲ新海物語は生活言語でないしさらにダイアログでない fact19: あのＣＲ新海物語は正社員規模であるということはないしかつ理解し難くない fact20: あのＣＲ新海物語は受け辛くなくてダイアログだということはない
fact20 -> hypothesis;
fact20 -> hypothesis;
「あのＣＲ新海物語は受け辛くない物であってさらにダイアログでない」ということは偽である
fact21 -> int1: 仮にあのＣＲ新海物語は意匠化しないとしたら「それは受け辛くないしダイアログでない」ということは成り立たない;
$facts$ = fact1: あのＣＲ新海物語は電話連絡しない fact2: この機密はダイアログでないしおまけに死守すらない fact3: あのＣＲ新海物語は物らしくない fact4: あのチョコバナナは受け辛くなくて更に御構い無くない fact5: あのＣＲ新海物語はダイアログでないし馴染み難くない fact6: その除塵はダイアログでない fact7: この打ち太刀は日本らしくないしダイアログでない fact8: そのマイ・オウン・タイムはダイアログでない fact9: 仮にとある物は意匠化しないとすると「受け辛くないしそれはダイアログだということはない」ということは成り立たない fact10: あのＣＲ新海物語が出ずないしさらにそれはダイアログでない fact11: あの御加増は大台でないしダイアログでない fact12: あのＣＲ新海物語は物語るということはないしダイアログでない fact13: この口コミは生活言語でないし加えてそれはダイアログでない fact14: その理科学習はダイアログでない fact15: あのＣＲ新海物語は独りでないししかも休眠しない fact16: あのＣＲ新海物語はダイアログでない fact17: あのＣＲ新海物語はダイアログでないし更にそれは格納出来ない fact18: あのＣＲ新海物語は生活言語でないしさらにダイアログでない fact19: あのＣＲ新海物語は正社員規模であるということはないしかつ理解し難くない fact20: あのＣＲ新海物語は受け辛くなくてダイアログだということはない ; $hypothesis$ = 「あのＣＲ新海物語は受け辛くないしダイアログでない」ということは成り立つ ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: あのＣＲ新海物語は電話連絡しない
事実2: この機密はダイアログでないしおまけに死守すらない
事実3: あのＣＲ新海物語は物らしくない
事実4: あのチョコバナナは受け辛くなくて更に御構い無くない
事実5: あのＣＲ新海物語はダイアログでないし馴染み難くない
事実6: その除塵はダイアログでない
事実7: この打ち太刀は日本らしくないしダイアログでない
事実8: そのマイ・オウン・タイムはダイアログでない
事実9: 仮にとある物は意匠化しないとすると「受け辛くないしそれはダイアログだということはない」ということは成り立たない
事実10: あのＣＲ新海物語が出ずないしさらにそれはダイアログでない
事実11: あの御加増は大台でないしダイアログでない
事実12: あのＣＲ新海物語は物語るということはないしダイアログでない
事実13: この口コミは生活言語でないし加えてそれはダイアログでない
事実14: その理科学習はダイアログでない
事実15: あのＣＲ新海物語は独りでないししかも休眠しない
事実16: あのＣＲ新海物語はダイアログでない
事実17: あのＣＲ新海物語はダイアログでないし更にそれは格納出来ない
事実18: あのＣＲ新海物語は生活言語でないしさらにダイアログでない
事実19: あのＣＲ新海物語は正社員規模であるということはないしかつ理解し難くない
事実20: あのＣＲ新海物語は受け辛くなくてダイアログだということはない

仮説: 「あのＣＲ新海物語は受け辛くないしダイアログでない」ということは成り立つ
1. 事実20から、仮説が導かれる

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