「この四トン以下は高まり始めなくてしかも御待ちしない」ということは誤りだ
fact1: 「もしも「無瞋でない」ものがあるとしたらこの四トン以下は高まり始めなくてそれは御待ちしない」ということは確かだ fact2: 「無瞋でない」ものはある
$facts$ = fact1: 「もしも「無瞋でない」ものがあるとしたらこの四トン以下は高まり始めなくてそれは御待ちしない」ということは確かだ fact2: 「無瞋でない」ものはある ; $hypothesis$ = 「この四トン以下は高まり始めなくてしかも御待ちしない」ということは誤りだ ; $proof$ = 
事実1: 「もしも「無瞋でない」ものがあるとしたらこの四トン以下は高まり始めなくてそれは御待ちしない」ということは確かだ
事実2: 「無瞋でない」ものはある

仮説: 「この四トン以下は高まり始めなくてしかも御待ちしない」ということは誤りだ