そのシステム運用は竦む
fact1: そのシステム運用は一喜一憂しない fact2: あの大阪城は一喜一憂しない fact3: もし「そのシステム運用は一喜一憂するということはない」ということは正しいとしたらそれは竦まない
$facts$ = fact1: そのシステム運用は一喜一憂しない fact2: あの大阪城は一喜一憂しない fact3: もし「そのシステム運用は一喜一憂するということはない」ということは正しいとしたらそれは竦まない ; $hypothesis$ = そのシステム運用は竦む ; $proof$ = 
事実1: そのシステム運用は一喜一憂しない
事実2: あの大阪城は一喜一憂しない
事実3: もし「そのシステム運用は一喜一憂するということはない」ということは正しいとしたらそれは竦まない

仮説: そのシステム運用は竦む