that the recitalist is not a kind of a brew but it is a kind of a Arminian is wrong.
sent1: if something is unreceptive but it is not a Arminian it is sealed. sent2: if the recitalist is sealed then that the Iberian does not brew but it is a Arminian is incorrect. sent3: there exists something such that it scowls. sent4: if the fact that the Iberian is not uncertain but non-Arminian hold then it is not unreceptive. sent5: that the recitalist is both not a brew and Arminian is not true if the Iberian is not unreceptive. sent6: the recitalist is sensitive if the Iberian is uncertain. sent7: if something that is not uncertain is not a kind of a mug then it is not unreceptive. sent8: the fact that something is not a kind of a brew but it is a kind of a Arminian if it is sensitive is not wrong. sent9: the Iberian is not unreceptive if it is not uncertain and it mugs. sent10: if there is something such that it is not sensitive the Iberian is both certain and not a mug. sent11: there is something such that it is not sensitive. sent12: the bowler is both not uncertain and not ductless. sent13: if the Iberian is uncertain but it is not a mug it is not unreceptive.
sent11 & sent10 -> int1: the Iberian is certain thing that is not a kind of a mug.; sent7 -> int2: if the Iberian is not uncertain and it is not a mug then that it is not unreceptive is not false.; int1 & int2 -> int3: the Iberian is not unreceptive.; int3 & sent5 -> hypothesis;
the recitalist is not a brew but it is a Arminian.
sent8 -> int4: if the recitalist is sensitive it does not brew and it is Arminian.;
$hypothesis$ = that the recitalist is not a kind of a brew but it is a kind of a Arminian is wrong. ; $context$ = sent1: if something is unreceptive but it is not a Arminian it is sealed. sent2: if the recitalist is sealed then that the Iberian does not brew but it is a Arminian is incorrect. sent3: there exists something such that it scowls. sent4: if the fact that the Iberian is not uncertain but non-Arminian hold then it is not unreceptive. sent5: that the recitalist is both not a brew and Arminian is not true if the Iberian is not unreceptive. sent6: the recitalist is sensitive if the Iberian is uncertain. sent7: if something that is not uncertain is not a kind of a mug then it is not unreceptive. sent8: the fact that something is not a kind of a brew but it is a kind of a Arminian if it is sensitive is not wrong. sent9: the Iberian is not unreceptive if it is not uncertain and it mugs. sent10: if there is something such that it is not sensitive the Iberian is both certain and not a mug. sent11: there is something such that it is not sensitive. sent12: the bowler is both not uncertain and not ductless. sent13: if the Iberian is uncertain but it is not a mug it is not unreceptive. ; $proof$ = 
sent11 & sent10 -> int1: the Iberian is certain thing that is not a kind of a mug.; sent7 -> int2: if the Iberian is not uncertain and it is not a mug then that it is not unreceptive is not false.; int1 & int2 -> int3: the Iberian is not unreceptive.; int3 & sent5 -> hypothesis; __PROVED__