形式理性司法裁判的大前提是法律事实。