「このラシャは垂直移動しない」ということは確かだ
fact1: 「このラシャはごっつい」ということは事実である fact2: このラシャがごっついならば垂直移動する
$facts$ = fact1: 「このラシャはごっつい」ということは事実である fact2: このラシャがごっついならば垂直移動する ; $hypothesis$ = 「このラシャは垂直移動しない」ということは確かだ ; $proof$ = 
事実1: 「このラシャはごっつい」ということは事実である
事実2: このラシャがごっついならば垂直移動する

仮説: 「このラシャは垂直移動しない」ということは確かだ