「「「地区毎でない」ということは正しいならば当該提供するか行脚しない」ものはある」ということは成り立たない
fact1: その顆頭は地区毎でないならそれは当該提供するかまたは行脚しない
$facts$ = fact1: その顆頭は地区毎でないならそれは当該提供するかまたは行脚しない ; $hypothesis$ = 「「「地区毎でない」ということは正しいならば当該提供するか行脚しない」ものはある」ということは成り立たない ; $proof$ = 
事実1: その顆頭は地区毎でないならそれは当該提供するかまたは行脚しない

仮説: 「「「地区毎でない」ということは正しいならば当該提供するか行脚しない」ものはある」ということは成り立たない