「「その先導者が吊り下げるしその上それは誓約する」ということは本当だ」ということは成り立つということはない
fact1: 大法輪はある fact2: 「仮になにがしかのものは大法輪であるならば「その先導者は吊り下げるしその上誓約する」ということは成り立たない」ということは確かである
$facts$ = fact1: 大法輪はある fact2: 「仮になにがしかのものは大法輪であるならば「その先導者は吊り下げるしその上誓約する」ということは成り立たない」ということは確かである ; $hypothesis$ = 「「その先導者が吊り下げるしその上それは誓約する」ということは本当だ」ということは成り立つということはない ; $proof$ = 
事実1: 大法輪はある
事実2: 「仮になにがしかのものは大法輪であるならば「その先導者は吊り下げるしその上誓約する」ということは成り立たない」ということは確かである

仮説: 「「その先導者が吊り下げるしその上それは誓約する」ということは本当だ」ということは成り立つということはない