もしも「そのメインコンピュータルームは御入りである」ということは正しいとすれば著増しない
fact1: 御入りは著増しない
$facts$ = fact1: 御入りは著増しない ; $hypothesis$ = もしも「そのメインコンピュータルームは御入りである」ということは正しいとすれば著増しない ; $proof$ = 
事実1: 御入りは著増しない

仮説: もしも「そのメインコンピュータルームは御入りである」ということは正しいとすれば著増しない