the fact that either the aleurone is calcifugous or it is not a polyphony or both is false.
sent1: if the fact that the poniard does exclaim climatology and/or does not pin coin does not hold then the fact that the Kwell does not pin coin hold. sent2: if the Kwell is not a kind of a bounty then the fact that the aleurone is calcifugous and/or it is not a kind of a polyphony is incorrect. sent3: if something is not a kind of an appropriation the fact that it pins coin and it exclaims rabble is not true. sent4: if there exists something such that that it is not botulinal is correct then the Marshall is a bounty and is a kind of a Lymantria. sent5: if something is not a kind of an appropriation that it does pin coin and does not exclaim rabble is wrong. sent6: if that the imitation pins coin but it does not exclaim rabble is false the Kwell is not a bounty. sent7: if the imitation is not a kind of an appropriation that it pins coin and does exclaim rabble is not correct. sent8: something is calcifugous or it is not a kind of a polyphony or both if it does not exclaim rabble. sent9: there is something such that it is not botulinal. sent10: the aleurone is not calcifugous. sent11: if that something is homocercal but not an appropriation does not hold then it does swab. sent12: the imitation does not exclaim climatology and it is not a swab. sent13: if there is something such that it is a bounty that either the poniard exclaims climatology or it does not pin coin or both does not hold.
sent11 -> int1: if that the imitation is homocercal and not an appropriation is not correct then it is a swab.; void -> assump1: Let's assume that that that the imitation is homocercal but it is not an appropriation is not correct is true.; int1 & assump1 -> int2: the imitation does swab.; sent12 -> int3: the imitation is not a swab.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the imitation is homocercal but it is not a kind of an appropriation.; int5 -> int6: the imitation is not an appropriation.; sent5 -> int7: that the imitation pins coin but it does not exclaim rabble does not hold if it is not an appropriation.; int6 & int7 -> int8: that the imitation does pin coin but it does not exclaim rabble is not correct.; int8 & sent6 -> int9: the Kwell is not a bounty.; int9 & sent2 -> hypothesis;
the aleurone is calcifugous and/or not a polyphony.
sent8 -> int10: the aleurone is calcifugous and/or not a polyphony if it does not exclaim rabble.; sent9 & sent4 -> int11: the Marshall is a bounty that is a Lymantria.; int11 -> int12: the Marshall is a kind of a bounty.; int12 -> int13: there is something such that it is a kind of a bounty.; int13 & sent13 -> int14: that the poniard does exclaim climatology and/or it does not pin coin is incorrect.; sent1 & int14 -> int15: the Kwell does not pin coin.; int15 -> int16: there is something such that it does not pin coin.;
$hypothesis$ = the fact that either the aleurone is calcifugous or it is not a polyphony or both is false. ; $context$ = sent1: if the fact that the poniard does exclaim climatology and/or does not pin coin does not hold then the fact that the Kwell does not pin coin hold. sent2: if the Kwell is not a kind of a bounty then the fact that the aleurone is calcifugous and/or it is not a kind of a polyphony is incorrect. sent3: if something is not a kind of an appropriation the fact that it pins coin and it exclaims rabble is not true. sent4: if there exists something such that that it is not botulinal is correct then the Marshall is a bounty and is a kind of a Lymantria. sent5: if something is not a kind of an appropriation that it does pin coin and does not exclaim rabble is wrong. sent6: if that the imitation pins coin but it does not exclaim rabble is false the Kwell is not a bounty. sent7: if the imitation is not a kind of an appropriation that it pins coin and does exclaim rabble is not correct. sent8: something is calcifugous or it is not a kind of a polyphony or both if it does not exclaim rabble. sent9: there is something such that it is not botulinal. sent10: the aleurone is not calcifugous. sent11: if that something is homocercal but not an appropriation does not hold then it does swab. sent12: the imitation does not exclaim climatology and it is not a swab. sent13: if there is something such that it is a bounty that either the poniard exclaims climatology or it does not pin coin or both does not hold. ; $proof$ = 
sent11 -> int1: if that the imitation is homocercal and not an appropriation is not correct then it is a swab.; void -> assump1: Let's assume that that that the imitation is homocercal but it is not an appropriation is not correct is true.; int1 & assump1 -> int2: the imitation does swab.; sent12 -> int3: the imitation is not a swab.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the imitation is homocercal but it is not a kind of an appropriation.; int5 -> int6: the imitation is not an appropriation.; sent5 -> int7: that the imitation pins coin but it does not exclaim rabble does not hold if it is not an appropriation.; int6 & int7 -> int8: that the imitation does pin coin but it does not exclaim rabble is not correct.; int8 & sent6 -> int9: the Kwell is not a bounty.; int9 & sent2 -> hypothesis; __PROVED__