「その目分量は敷設権だ」ということは嘘でない
fact1: その目分量は恐ろしくなくてそれはＪωでない fact2: その目分量が恐ろしくなくて加えてそれはＪωでないなら「それは敷設権でない」ということは本当だ
$facts$ = fact1: その目分量は恐ろしくなくてそれはＪωでない fact2: その目分量が恐ろしくなくて加えてそれはＪωでないなら「それは敷設権でない」ということは本当だ ; $hypothesis$ = 「その目分量は敷設権だ」ということは嘘でない ; $proof$ = 
事実1: その目分量は恐ろしくなくてそれはＪωでない
事実2: その目分量が恐ろしくなくて加えてそれはＪωでないなら「それは敷設権でない」ということは本当だ

仮説: 「その目分量は敷設権だ」ということは嘘でない