このＬＡＷＳは日休である
fact1: 「「あのメタルエンパイアは遅しということはないけど行儀良い」ということは正しい」ということは事実と異なる fact2: 仮に「「あのメタルエンパイアは遅しないが行儀良い」ということは誤っている」ということは事実だとしたらこのＬＡＷＳは日休である
$facts$ = fact1: 「「あのメタルエンパイアは遅しということはないけど行儀良い」ということは正しい」ということは事実と異なる fact2: 仮に「「あのメタルエンパイアは遅しないが行儀良い」ということは誤っている」ということは事実だとしたらこのＬＡＷＳは日休である ; $hypothesis$ = このＬＡＷＳは日休である ; $proof$ = 
事実1: 「「あのメタルエンパイアは遅しということはないけど行儀良い」ということは正しい」ということは事実と異なる
事実2: 仮に「「あのメタルエンパイアは遅しないが行儀良い」ということは誤っている」ということは事実だとしたらこのＬＡＷＳは日休である

仮説: このＬＡＷＳは日休である