あの二分一量は刻み目でない
fact1: もしも「この会計上はマラソンランナーだがレイアウトグリッドでない」ということは間違いならあの二分一量は刻み目である fact2: 「この会計上はマラソンランナーだ一方でそれはレイアウトグリッドでない」ということは嘘である
$facts$ = fact1: もしも「この会計上はマラソンランナーだがレイアウトグリッドでない」ということは間違いならあの二分一量は刻み目である fact2: 「この会計上はマラソンランナーだ一方でそれはレイアウトグリッドでない」ということは嘘である ; $hypothesis$ = あの二分一量は刻み目でない ; $proof$ = 
事実1: もしも「この会計上はマラソンランナーだがレイアウトグリッドでない」ということは間違いならあの二分一量は刻み目である
事実2: 「この会計上はマラソンランナーだ一方でそれはレイアウトグリッドでない」ということは嘘である

仮説: あの二分一量は刻み目でない