あの象徴天皇は麗し
fact1: あの象徴天皇は知的伝統であるということはない fact2: もしもあの象徴天皇が知的伝統でなくて麗しないとすればこのプラスチック製容器包装は知的伝統でない fact3: あの象徴天皇は知的伝統であるということはないならばそれは麗し
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
このプラスチック製容器包装は知的伝統でない
$facts$ = fact1: あの象徴天皇は知的伝統であるということはない fact2: もしもあの象徴天皇が知的伝統でなくて麗しないとすればこのプラスチック製容器包装は知的伝統でない fact3: あの象徴天皇は知的伝統であるということはないならばそれは麗し ; $hypothesis$ = あの象徴天皇は麗し ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: あの象徴天皇は知的伝統であるということはない
事実2: もしもあの象徴天皇が知的伝統でなくて麗しないとすればこのプラスチック製容器包装は知的伝統でない
事実3: あの象徴天皇は知的伝統であるということはないならばそれは麗し

仮説: あの象徴天皇は麗し
1. 事実3と事実1から、仮説が導かれる

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