「その四門は防止しないけれど悍ましい」ということは間違いだ
fact1: その四門は探し易い fact2: もし仮にその四門が探し易いならそれは防止しないしそれに悍ましい
$facts$ = fact1: その四門は探し易い fact2: もし仮にその四門が探し易いならそれは防止しないしそれに悍ましい ; $hypothesis$ = 「その四門は防止しないけれど悍ましい」ということは間違いだ ; $proof$ = 
事実1: その四門は探し易い
事実2: もし仮にその四門が探し易いならそれは防止しないしそれに悍ましい

仮説: 「その四門は防止しないけれど悍ましい」ということは間違いだ