「「「造影する」ということは成り立つなら貸し渋るしおまけに使い慣れない」物はある」ということは偽だ
fact1: 「もしシグナル系なら担い手でない」物はある fact2: もしあの比較研究が脅し付けるとすればそれは造影するしさらに自然系要素でない fact3: 「もしもシャツだとすると請願する」ものはある fact4: なんらかの物が造影するとすれば貸し渋るし使い慣れない fact5: 「もしも座禅するとすると「所らしくない」ということは成り立つ」ものはある
fact4 -> int1: あの比較研究が造影するとすればそれは貸し渋るがしかし使い慣れない; int1 -> hypothesis;
$facts$ = fact1: 「もしシグナル系なら担い手でない」物はある fact2: もしあの比較研究が脅し付けるとすればそれは造影するしさらに自然系要素でない fact3: 「もしもシャツだとすると請願する」ものはある fact4: なんらかの物が造影するとすれば貸し渋るし使い慣れない fact5: 「もしも座禅するとすると「所らしくない」ということは成り立つ」ものはある ; $hypothesis$ = 「「「造影する」ということは成り立つなら貸し渋るしおまけに使い慣れない」物はある」ということは偽だ ; $proof$ = 
fact4 -> int1: あの比較研究が造影するとすればそれは貸し渋るがしかし使い慣れない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしシグナル系なら担い手でない」物はある
事実2: もしあの比較研究が脅し付けるとすればそれは造影するしさらに自然系要素でない
事実3: 「もしもシャツだとすると請願する」ものはある
事実4: なんらかの物が造影するとすれば貸し渋るし使い慣れない
事実5: 「もしも座禅するとすると「所らしくない」ということは成り立つ」ものはある

仮説: 「「「造影する」ということは成り立つなら貸し渋るしおまけに使い慣れない」物はある」ということは偽だ
1. 事実4から、推論1: "あの比較研究が造影するとすればそれは貸し渋るがしかし使い慣れない"が導かれる
2. 推論1から、仮説が否定される

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