「「もしも巡業しないとしたら沈思するししかも繰り下がる」物はある」ということは本当であるということはない
fact1: もしその訂正手続きは巡業するなら「それは沈思するし繰り下がる」ということは正しい fact2: その訂正手続きが巡業しないとすればそれは沈思するしまた繰り下がる fact3: 「仮に巡業すれば沈思するし繰り下がる」物はある
fact2 -> hypothesis;
$facts$ = fact1: もしその訂正手続きは巡業するなら「それは沈思するし繰り下がる」ということは正しい fact2: その訂正手続きが巡業しないとすればそれは沈思するしまた繰り下がる fact3: 「仮に巡業すれば沈思するし繰り下がる」物はある ; $hypothesis$ = 「「もしも巡業しないとしたら沈思するししかも繰り下がる」物はある」ということは本当であるということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしその訂正手続きは巡業するなら「それは沈思するし繰り下がる」ということは正しい
事実2: その訂正手続きが巡業しないとすればそれは沈思するしまた繰り下がる
事実3: 「仮に巡業すれば沈思するし繰り下がる」物はある

仮説: 「「もしも巡業しないとしたら沈思するししかも繰り下がる」物はある」ということは本当であるということはない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。