「この最高潮は急進化しないしその上それは見苦しくない」ということは間違いだ
fact1: この日本舞踊は駄目出しだということはない fact2: もしあの外交文書が見苦しいということはないとしたらそれは狭苦しくない fact3: もし仮にこの最高潮は駄目出しでないとすると見苦しくない fact4: 「この最高潮は駄目出しでない」ということは成り立つ fact5: 「もしもこの最高潮が急進化しないならばこの最高潮は抜爪するということはないし計算でない」ということは事実である fact6: もしこの最高潮が達しないとすると見苦しくない fact7: この最高潮は抜爪しない fact8: もしもこの最高潮が見苦しいということはないとするとそれは安っぽくない fact9: もし仮にあの粗微塵切りが見苦しくないならばそれは堪え難くない fact10: あの期末在庫は駄目出しでないなら御構い無くない fact11: もし仮にこの最高潮は疑り深くないとすれば「塗り易くない」ということは誤っていない fact12: この最高潮は禍々しかない fact13: この最高潮が駄目出しでないとしたら急進化するということはなくて加えてそれは見苦しいということはない
fact13 & fact4 -> hypothesis;
fact13 & fact4 -> hypothesis;
$facts$ = fact1: この日本舞踊は駄目出しだということはない fact2: もしあの外交文書が見苦しいということはないとしたらそれは狭苦しくない fact3: もし仮にこの最高潮は駄目出しでないとすると見苦しくない fact4: 「この最高潮は駄目出しでない」ということは成り立つ fact5: 「もしもこの最高潮が急進化しないならばこの最高潮は抜爪するということはないし計算でない」ということは事実である fact6: もしこの最高潮が達しないとすると見苦しくない fact7: この最高潮は抜爪しない fact8: もしもこの最高潮が見苦しいということはないとするとそれは安っぽくない fact9: もし仮にあの粗微塵切りが見苦しくないならばそれは堪え難くない fact10: あの期末在庫は駄目出しでないなら御構い無くない fact11: もし仮にこの最高潮は疑り深くないとすれば「塗り易くない」ということは誤っていない fact12: この最高潮は禍々しかない fact13: この最高潮が駄目出しでないとしたら急進化するということはなくて加えてそれは見苦しいということはない ; $hypothesis$ = 「この最高潮は急進化しないしその上それは見苦しくない」ということは間違いだ ; $proof$ = 
fact13 & fact4 -> hypothesis; __DISPROVED__
事実1: この日本舞踊は駄目出しだということはない
事実2: もしあの外交文書が見苦しいということはないとしたらそれは狭苦しくない
事実3: もし仮にこの最高潮は駄目出しでないとすると見苦しくない
事実4: 「この最高潮は駄目出しでない」ということは成り立つ
事実5: 「もしもこの最高潮が急進化しないならばこの最高潮は抜爪するということはないし計算でない」ということは事実である
事実6: もしこの最高潮が達しないとすると見苦しくない
事実7: この最高潮は抜爪しない
事実8: もしもこの最高潮が見苦しいということはないとするとそれは安っぽくない
事実9: もし仮にあの粗微塵切りが見苦しくないならばそれは堪え難くない
事実10: あの期末在庫は駄目出しでないなら御構い無くない
事実11: もし仮にこの最高潮は疑り深くないとすれば「塗り易くない」ということは誤っていない
事実12: この最高潮は禍々しかない
事実13: この最高潮が駄目出しでないとしたら急進化するということはなくて加えてそれは見苦しいということはない

仮説: 「この最高潮は急進化しないしその上それは見苦しくない」ということは間違いだ
1. 事実13と事実4から、仮説が否定される

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