この善者はしょんぼりしない
fact1: 「興安寺でない」ものはある fact2: 「「興安寺でない」ということは間違っているということはない」物があるとすればこの善者はしょんぼりする
$facts$ = fact1: 「興安寺でない」ものはある fact2: 「「興安寺でない」ということは間違っているということはない」物があるとすればこの善者はしょんぼりする ; $hypothesis$ = この善者はしょんぼりしない ; $proof$ = 
事実1: 「興安寺でない」ものはある
事実2: 「「興安寺でない」ということは間違っているということはない」物があるとすればこの善者はしょんぼりする

仮説: この善者はしょんぼりしない