「御詳しくないとすれば「成立し難くて卑しい」ということは成り立たない」物はある
fact1: もし仮にあの普通大蒜は御詳しくないとすれば「成立し難くて卑しい」ということは事実と異なる fact2: もし仮にあの普通大蒜が御詳しくないならば成立し難くて卑しい
fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの普通大蒜は御詳しくないとすれば「成立し難くて卑しい」ということは事実と異なる fact2: もし仮にあの普通大蒜が御詳しくないならば成立し難くて卑しい ; $hypothesis$ = 「御詳しくないとすれば「成立し難くて卑しい」ということは成り立たない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの普通大蒜は御詳しくないとすれば「成立し難くて卑しい」ということは事実と異なる
事実2: もし仮にあの普通大蒜が御詳しくないならば成立し難くて卑しい

仮説: 「御詳しくないとすれば「成立し難くて卑しい」ということは成り立たない」物はある
1. 事実1から、仮説が導かれる

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