そのシステムコールはスウェーデン国王でなくて更にスルーザグリーンであるということはない
fact1: スウェーデン国王であるということはないしその上スルーザグリーンでないというものはない
$facts$ = fact1: スウェーデン国王であるということはないしその上スルーザグリーンでないというものはない ; $hypothesis$ = そのシステムコールはスウェーデン国王でなくて更にスルーザグリーンであるということはない ; $proof$ = 
事実1: スウェーデン国王であるということはないしその上スルーザグリーンでないというものはない

仮説: そのシステムコールはスウェーデン国王でなくて更にスルーザグリーンであるということはない