「仮に布教するということはないとすれば屠蘇であるか携行である」物はある
fact1: 「仮に布教するとすれば屠蘇であるか携行である」ものはある fact2: 仮にあの通常学校が布教するならそれは屠蘇であるか携行であるかもしくは両方だ fact3: もしあの通常学校が布教しないならそれは屠蘇であるかもしくは携行であるか両方ともである
fact3 -> hypothesis;
$facts$ = fact1: 「仮に布教するとすれば屠蘇であるか携行である」ものはある fact2: 仮にあの通常学校が布教するならそれは屠蘇であるか携行であるかもしくは両方だ fact3: もしあの通常学校が布教しないならそれは屠蘇であるかもしくは携行であるか両方ともである ; $hypothesis$ = 「仮に布教するということはないとすれば屠蘇であるか携行である」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮に布教するとすれば屠蘇であるか携行である」ものはある
事実2: 仮にあの通常学校が布教するならそれは屠蘇であるか携行であるかもしくは両方だ
事実3: もしあの通常学校が布教しないならそれは屠蘇であるかもしくは携行であるか両方ともである

仮説: 「仮に布教するということはないとすれば屠蘇であるか携行である」物はある
1. 事実3から、仮説が導かれる

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