その八門は恭しい
fact1: もしもその野心が貫徹するならその八門は恭しい fact2: その野心は貫徹する
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もしもその野心が貫徹するならその八門は恭しい fact2: その野心は貫徹する ; $hypothesis$ = その八門は恭しい ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもその野心が貫徹するならその八門は恭しい
事実2: その野心は貫徹する

仮説: その八門は恭しい
1. 事実1と事実2から、仮説が導かれる

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