あのサーバアプリケーションは礼儀正しい
fact1: 「あのサーバアプリケーションは礼儀正しい」ということは確かだ
$facts$ = fact1: 「あのサーバアプリケーションは礼儀正しい」ということは確かだ ; $hypothesis$ = あのサーバアプリケーションは礼儀正しい ; $proof$ = 
事実1: 「あのサーバアプリケーションは礼儀正しい」ということは確かだ

仮説: あのサーバアプリケーションは礼儀正しい