あの種別は代数である
fact1: この太田支部はごっつい fact2: もし仮にこの太田支部がごっついとすればあの種別は代数である
$facts$ = fact1: この太田支部はごっつい fact2: もし仮にこの太田支部がごっついとすればあの種別は代数である ; $hypothesis$ = あの種別は代数である ; $proof$ = 
事実1: この太田支部はごっつい
事実2: もし仮にこの太田支部がごっついとすればあの種別は代数である

仮説: あの種別は代数である