あの就業規則は立ち至るけど絶対化するということはない
fact1: あの就業規則は立ち至るしそれはしゃぶる fact2: あの就業規則は通えるけど絶対化するということはない
fact2 -> int1: あの就業規則は絶対化しない; fact1 -> int2: あの就業規則は立ち至る; int1 & int2 -> hypothesis;
$facts$ = fact1: あの就業規則は立ち至るしそれはしゃぶる fact2: あの就業規則は通えるけど絶対化するということはない ; $hypothesis$ = あの就業規則は立ち至るけど絶対化するということはない ; $proof$ = 
fact2 -> int1: あの就業規則は絶対化しない; fact1 -> int2: あの就業規則は立ち至る; int1 & int2 -> hypothesis; __PROVED__
事実1: あの就業規則は立ち至るしそれはしゃぶる
事実2: あの就業規則は通えるけど絶対化するということはない

仮説: あの就業規則は立ち至るけど絶対化するということはない
1. 事実2から、推論1: "あの就業規則は絶対化しない"が導かれる
2. 事実1から、推論2: "あの就業規則は立ち至る"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。