その還元反応は可笑しい
fact1: 「創設しなくて百九十三高地でない」ものはある fact2: 「「創設しなくてそれに百九十三高地だということはない」物はある」ということは本当であるならば「その還元反応は可笑しくない」ということは成り立つ
$facts$ = fact1: 「創設しなくて百九十三高地でない」ものはある fact2: 「「創設しなくてそれに百九十三高地だということはない」物はある」ということは本当であるならば「その還元反応は可笑しくない」ということは成り立つ ; $hypothesis$ = その還元反応は可笑しい ; $proof$ = 
事実1: 「創設しなくて百九十三高地でない」ものはある
事実2: 「「創設しなくてそれに百九十三高地だということはない」物はある」ということは本当であるならば「その還元反応は可笑しくない」ということは成り立つ

仮説: その還元反応は可笑しい