この回線交換モードは厳めしかない
fact1: もしも「ひ弱くて儀式めく」物があるとすればあの回線交換モードは厳めしかない fact2: 「ひ弱くてまた儀式めく」ものはある
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: もしも「ひ弱くて儀式めく」物があるとすればあの回線交換モードは厳めしかない fact2: 「ひ弱くてまた儀式めく」ものはある ; $hypothesis$ = この回線交換モードは厳めしかない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: もしも「ひ弱くて儀式めく」物があるとすればあの回線交換モードは厳めしかない
事実2: 「ひ弱くてまた儀式めく」ものはある

仮説: この回線交換モードは厳めしかない
1. 事実2と事実1から、仮説が導かれる

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