この恩典は陰門である
fact1: 「この恩典は御頼みするけれど勤労動員でない」ということは正しいということはない fact2: もし「この恩典は御頼みするが勤労動員でない」ということは誤りであるとしたらそれは陰門だ
$facts$ = fact1: 「この恩典は御頼みするけれど勤労動員でない」ということは正しいということはない fact2: もし「この恩典は御頼みするが勤労動員でない」ということは誤りであるとしたらそれは陰門だ ; $hypothesis$ = この恩典は陰門である ; $proof$ = 
事実1: 「この恩典は御頼みするけれど勤労動員でない」ということは正しいということはない
事実2: もし「この恩典は御頼みするが勤労動員でない」ということは誤りであるとしたらそれは陰門だ

仮説: この恩典は陰門である