「「この半眼は合しなくて更に水行しない」ということは偽である」ということは本当である
fact1: この二位以下は油壺でない fact2: この二位以下は油壺でないとしたら「この半眼は合しなくてそれに水行しない」ということは成り立たない
$facts$ = fact1: この二位以下は油壺でない fact2: この二位以下は油壺でないとしたら「この半眼は合しなくてそれに水行しない」ということは成り立たない ; $hypothesis$ = 「「この半眼は合しなくて更に水行しない」ということは偽である」ということは本当である ; $proof$ = 
事実1: この二位以下は油壺でない
事実2: この二位以下は油壺でないとしたら「この半眼は合しなくてそれに水行しない」ということは成り立たない

仮説: 「「この半眼は合しなくて更に水行しない」ということは偽である」ということは本当である