「その挿入メニューは分離し易くない」ということは真実である
fact1: その挿入メニューは分離し易くないし加えて安でない
$facts$ = fact1: その挿入メニューは分離し易くないし加えて安でない ; $hypothesis$ = 「その挿入メニューは分離し易くない」ということは真実である ; $proof$ = 
事実1: その挿入メニューは分離し易くないし加えて安でない

仮説: 「その挿入メニューは分離し易くない」ということは真実である