the aerophile is not a alloyed.
sent1: the aerophile does not recalcitrate and it does not nod biography. sent2: the fact that the aerophile is not a kind of a redraft is not wrong. sent3: something is not a kind of a Catholic and it does not flow if it is not open-hearth. sent4: the manganate is not a chemical and it is not a kind of a lumber. sent5: if the aerophile is not a redraft then it is not a kind of a chemical and it does not alloy. sent6: if that something is not a alloyed and it is not a ringing is not true then it is a alloyed. sent7: that something does not alloy and is not a ringing is not right if it is a redraft. sent8: that the lick is non-intradermal and not allophonic hold. sent9: the aerophile is not chemical. sent10: the aerophile is not chemical if it is not a redraft.
sent5 & sent2 -> int1: the aerophile is not a kind of a chemical and it does not alloy.; int1 -> hypothesis;
the aerophile does alloy.
sent6 -> int2: the aerophile is a alloyed if the fact that it is not a alloyed and is not a ringing is incorrect.; sent7 -> int3: the fact that the cefotaxime is not a kind of a alloyed and is not a ringing does not hold if it is a kind of a redraft.;
$hypothesis$ = the aerophile is not a alloyed. ; $context$ = sent1: the aerophile does not recalcitrate and it does not nod biography. sent2: the fact that the aerophile is not a kind of a redraft is not wrong. sent3: something is not a kind of a Catholic and it does not flow if it is not open-hearth. sent4: the manganate is not a chemical and it is not a kind of a lumber. sent5: if the aerophile is not a redraft then it is not a kind of a chemical and it does not alloy. sent6: if that something is not a alloyed and it is not a ringing is not true then it is a alloyed. sent7: that something does not alloy and is not a ringing is not right if it is a redraft. sent8: that the lick is non-intradermal and not allophonic hold. sent9: the aerophile is not chemical. sent10: the aerophile is not chemical if it is not a redraft. ; $proof$ = 
sent5 & sent2 -> int1: the aerophile is not a kind of a chemical and it does not alloy.; int1 -> hypothesis; __PROVED__