In case of the standard firstorder intersective analysis, the premises of Fr-211 would be translated as: which is a contradiction given that small and large are contradictory predicates.
due to the principle of explosion everything, including the conclusion and its negation, would be entailed from the premises.