「その泥岩中はリストウォッチであるがしかし矢状断でない」ということは成り立たない
fact1: 「「「関数電卓であるということはない」ということは真実である」ものはある」ということは確かである fact2: もしなんらかの物が関数電卓でないとしたらその泥岩中はリストウォッチであるけどそれは矢状断でない
$facts$ = fact1: 「「「関数電卓であるということはない」ということは真実である」ものはある」ということは確かである fact2: もしなんらかの物が関数電卓でないとしたらその泥岩中はリストウォッチであるけどそれは矢状断でない ; $hypothesis$ = 「その泥岩中はリストウォッチであるがしかし矢状断でない」ということは成り立たない ; $proof$ = 
事実1: 「「「関数電卓であるということはない」ということは真実である」ものはある」ということは確かである
事実2: もしなんらかの物が関数電卓でないとしたらその泥岩中はリストウォッチであるけどそれは矢状断でない

仮説: 「その泥岩中はリストウォッチであるがしかし矢状断でない」ということは成り立たない