この自己抗体検査は拍手しないし過信しない
fact1: もしもこの自己抗体検査は解禁しないならば「「拍手しなくて過信しない」ということは本当だ」ということは成り立たない fact2: その電化製品は解禁しない fact3: 「この自己抗体検査は拍手するということはないがしかしそれは過信する」ということは本当でない fact4: この自己抗体検査は解禁しない fact5: 仮に「「この自己抗体検査は弱々しくてさらに過信する」ということは誤りである」ということは確かだとすればあの証書は過信しない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
その証書は過信しない
$facts$ = fact1: もしもこの自己抗体検査は解禁しないならば「「拍手しなくて過信しない」ということは本当だ」ということは成り立たない fact2: その電化製品は解禁しない fact3: 「この自己抗体検査は拍手するということはないがしかしそれは過信する」ということは本当でない fact4: この自己抗体検査は解禁しない fact5: 仮に「「この自己抗体検査は弱々しくてさらに過信する」ということは誤りである」ということは確かだとすればあの証書は過信しない ; $hypothesis$ = この自己抗体検査は拍手しないし過信しない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもこの自己抗体検査は解禁しないならば「「拍手しなくて過信しない」ということは本当だ」ということは成り立たない
事実2: その電化製品は解禁しない
事実3: 「この自己抗体検査は拍手するということはないがしかしそれは過信する」ということは本当でない
事実4: この自己抗体検査は解禁しない
事実5: 仮に「「この自己抗体検査は弱々しくてさらに過信する」ということは誤りである」ということは確かだとすればあの証書は過信しない

仮説: この自己抗体検査は拍手しないし過信しない
1. 事実1と事実4から、仮説が否定される

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