「その板チョコはきったない」ということは成り立つ
fact1: もし仮にその板チョコが一升瓶ならばそれはきったない fact2: その板チョコは一升瓶である
$facts$ = fact1: もし仮にその板チョコが一升瓶ならばそれはきったない fact2: その板チョコは一升瓶である ; $hypothesis$ = 「その板チョコはきったない」ということは成り立つ ; $proof$ = 
事実1: もし仮にその板チョコが一升瓶ならばそれはきったない
事実2: その板チョコは一升瓶である

仮説: 「その板チョコはきったない」ということは成り立つ