「「アピール出来ないがしかし疑い深い」ものはある」ということは誤りである
fact1: 「あの大学問題は直視出来ない」ということは成り立つ fact2: もしもあの大学問題が直視出来ないとすればこの一日施行はアピール出来るということはない一方で疑い深い fact3: 「あの自律神経は直視出来ない」ということは成り立つ fact4: あの社会的動物は直視出来ない fact5: 「疑い深い」物はある
fact2 & fact1 -> int1: この一日施行はアピール出来ないが疑い深い; int1 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
$facts$ = fact1: 「あの大学問題は直視出来ない」ということは成り立つ fact2: もしもあの大学問題が直視出来ないとすればこの一日施行はアピール出来るということはない一方で疑い深い fact3: 「あの自律神経は直視出来ない」ということは成り立つ fact4: あの社会的動物は直視出来ない fact5: 「疑い深い」物はある ; $hypothesis$ = 「「アピール出来ないがしかし疑い深い」ものはある」ということは誤りである ; $proof$ = 
fact2 & fact1 -> int1: この一日施行はアピール出来ないが疑い深い; int1 -> hypothesis; __DISPROVED__
事実1: 「あの大学問題は直視出来ない」ということは成り立つ
事実2: もしもあの大学問題が直視出来ないとすればこの一日施行はアピール出来るということはない一方で疑い深い
事実3: 「あの自律神経は直視出来ない」ということは成り立つ
事実4: あの社会的動物は直視出来ない
事実5: 「疑い深い」物はある

仮説: 「「アピール出来ないがしかし疑い深い」ものはある」ということは誤りである
1. 事実2と事実1から、推論1: "この一日施行はアピール出来ないが疑い深い"が導かれる
2. 推論1から、仮説が否定される

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