「この地代範疇はチェックインする」ということは事実だ
fact1: この地代範疇は読み書きするし加えてチェックインする
$facts$ = fact1: この地代範疇は読み書きするし加えてチェックインする ; $hypothesis$ = 「この地代範疇はチェックインする」ということは事実だ ; $proof$ = 
事実1: この地代範疇は読み書きするし加えてチェックインする

仮説: 「この地代範疇はチェックインする」ということは事実だ