 There are difficulties with both interpretations.  Aristotle starts by saying that no demonstration assumes PNC unless it concludes that x is F and not not-F.  According to the first interpretation, Aristotle’s explanation about the major and middle term is unnecessary.  However, according to the second interpretation, the relationship between Aristotle’s main point and his comments about PNC is obscure.  The text invites further elucidation.