もしもこの近代派はスナップならば「買い与えるということはなくて保険給付する」ということは誤りである
fact1: もしなにかはスナップだとすれば「それは買い与えなくてその上保険給付する」ということは成り立たない fact2: もし仮にあるものがスナップだとするとそれは買い与えなくておまけに保険給付する
fact1 -> hypothesis;
$facts$ = fact1: もしなにかはスナップだとすれば「それは買い与えなくてその上保険給付する」ということは成り立たない fact2: もし仮にあるものがスナップだとするとそれは買い与えなくておまけに保険給付する ; $hypothesis$ = もしもこの近代派はスナップならば「買い与えるということはなくて保険給付する」ということは誤りである ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしなにかはスナップだとすれば「それは買い与えなくてその上保険給付する」ということは成り立たない
事実2: もし仮にあるものがスナップだとするとそれは買い与えなくておまけに保険給付する

仮説: もしもこの近代派はスナップならば「買い与えるということはなくて保険給付する」ということは誤りである
1. 事実1から、仮説が導かれる

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