「もしその板子が秘肛だとするとその板子は政策協調でない」ということは成り立たない
fact1: 秘肛は政策協調であるということはない
$facts$ = fact1: 秘肛は政策協調であるということはない ; $hypothesis$ = 「もしその板子が秘肛だとするとその板子は政策協調でない」ということは成り立たない ; $proof$ = 
事実1: 秘肛は政策協調であるということはない

仮説: 「もしその板子が秘肛だとするとその板子は政策協調でない」ということは成り立たない