あの申告者は入信しない
fact1: もしあの申告者は程良いとすると「入信する」ということは本当だ fact2: あの申告者は程良い
$facts$ = fact1: もしあの申告者は程良いとすると「入信する」ということは本当だ fact2: あの申告者は程良い ; $hypothesis$ = あの申告者は入信しない ; $proof$ = 
事実1: もしあの申告者は程良いとすると「入信する」ということは本当だ
事実2: あの申告者は程良い

仮説: あの申告者は入信しない