あの墳丘長は崩せる
fact1: もしもあの相方が供給しないとするとあの墳丘長は崩せる fact2: あの相方はジアミンオキシダーゼであるか供給しないかあるいはどちらもである fact3: 「もし仮に「あの相方はジアミンオキシダーゼだ」ということは事実だとするとあの墳丘長は崩せる」ということは真実である
$facts$ = fact1: もしもあの相方が供給しないとするとあの墳丘長は崩せる fact2: あの相方はジアミンオキシダーゼであるか供給しないかあるいはどちらもである fact3: 「もし仮に「あの相方はジアミンオキシダーゼだ」ということは事実だとするとあの墳丘長は崩せる」ということは真実である ; $hypothesis$ = あの墳丘長は崩せる ; $proof$ = 
事実1: もしもあの相方が供給しないとするとあの墳丘長は崩せる
事実2: あの相方はジアミンオキシダーゼであるか供給しないかあるいはどちらもである
事実3: 「もし仮に「あの相方はジアミンオキシダーゼだ」ということは事実だとするとあの墳丘長は崩せる」ということは真実である

仮説: あの墳丘長は崩せる