あの付け届けは粗い
fact1: 仮にあの付け届けは常連らしいなら「それは粗い」ということは正しい fact2: あの付け届けは常連らしい
$facts$ = fact1: 仮にあの付け届けは常連らしいなら「それは粗い」ということは正しい fact2: あの付け届けは常連らしい ; $hypothesis$ = あの付け届けは粗い ; $proof$ = 
事実1: 仮にあの付け届けは常連らしいなら「それは粗い」ということは正しい
事実2: あの付け届けは常連らしい

仮説: あの付け届けは粗い