theorem answer_exclusion_warranted
theorem answer_exclusion_warranted
(logic_is_actual : LogicIsActual)
(fairness : A FairnessPrinciple)
(favors : A OnTheSpotAnswersFavorTheInformed)
(protects : A AnswerExclusionProtects)
: A (StrongReasonToAdopt AnswerExclusionRule)