あのコンピューティングシステムはアレンジするということはない
fact1: あのコンピューティングシステムはアレンジしない
$facts$ = fact1: あのコンピューティングシステムはアレンジしない ; $hypothesis$ = あのコンピューティングシステムはアレンジするということはない ; $proof$ = 
事実1: あのコンピューティングシステムはアレンジしない

仮説: あのコンピューティングシステムはアレンジするということはない