the carminative transfers sunlamp.
sent1: the valve is not a tangor if something is not a conception. sent2: if that something is not a kind of a tangor and/or is not a conception is false then it does not sheathe Confederate. sent3: the valve is persuasive. sent4: the valve is not persuasive if something does counterweight Arauca. sent5: the carminative does not counterweight Arauca but it is persuasive. sent6: there is something such that it does not counterweight Arauca and it does transfer sunlamp. sent7: the fact that the valve does not transfer sunlamp but it does refer asynchronism does not hold. sent8: the fact that the carminative does counterweight Arauca and it does transfer sunlamp is not true. sent9: the fact that the valve is not persuasive is not incorrect if there is something such that that it does not counterweight Arauca and it transfers sunlamp is wrong. sent10: that if there is something such that the fact that it is a kind of non-persuasive thing that does transfer sunlamp is incorrect the valve does not counterweight Arauca is true. sent11: if something is not a baedeker it is not a kind of a conception. sent12: if the fact that something is persuasive and does not sheathe Confederate is false it does not transfer sunlamp. sent13: the carminative does not counterweight Arauca. sent14: something is a kind of uncommon thing that is persuasive if the fact that it does not sheathe Confederate is true. sent15: the carminative is persuasive. sent16: there exists something such that the fact that it counterweights Arauca and does transfer sunlamp does not hold. sent17: the gayal is not uncritical. sent18: if there is something such that it is not uncritical then that the treasure is not a kind of a baedeker is not false.
void -> assump1: Let's assume that the fact that the carminative does not counterweight Arauca and does transfer sunlamp is not right.; assump1 -> int1: there is something such that the fact that it does not counterweight Arauca and transfers sunlamp is false.; int1 & sent9 -> int2: the valve is not persuasive.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the carminative does not counterweight Arauca but it does transfer sunlamp.; int4 -> hypothesis;
that the artifact is not uncommon is false.
sent14 -> int5: the artifact is uncommon and is not non-persuasive if it does not sheathe Confederate.; sent2 -> int6: the artifact does not sheathe Confederate if the fact that either it is not a tangor or it is not a conception or both does not hold.;
$hypothesis$ = the carminative transfers sunlamp. ; $context$ = sent1: the valve is not a tangor if something is not a conception. sent2: if that something is not a kind of a tangor and/or is not a conception is false then it does not sheathe Confederate. sent3: the valve is persuasive. sent4: the valve is not persuasive if something does counterweight Arauca. sent5: the carminative does not counterweight Arauca but it is persuasive. sent6: there is something such that it does not counterweight Arauca and it does transfer sunlamp. sent7: the fact that the valve does not transfer sunlamp but it does refer asynchronism does not hold. sent8: the fact that the carminative does counterweight Arauca and it does transfer sunlamp is not true. sent9: the fact that the valve is not persuasive is not incorrect if there is something such that that it does not counterweight Arauca and it transfers sunlamp is wrong. sent10: that if there is something such that the fact that it is a kind of non-persuasive thing that does transfer sunlamp is incorrect the valve does not counterweight Arauca is true. sent11: if something is not a baedeker it is not a kind of a conception. sent12: if the fact that something is persuasive and does not sheathe Confederate is false it does not transfer sunlamp. sent13: the carminative does not counterweight Arauca. sent14: something is a kind of uncommon thing that is persuasive if the fact that it does not sheathe Confederate is true. sent15: the carminative is persuasive. sent16: there exists something such that the fact that it counterweights Arauca and does transfer sunlamp does not hold. sent17: the gayal is not uncritical. sent18: if there is something such that it is not uncritical then that the treasure is not a kind of a baedeker is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the carminative does not counterweight Arauca and does transfer sunlamp is not right.; assump1 -> int1: there is something such that the fact that it does not counterweight Arauca and transfers sunlamp is false.; int1 & sent9 -> int2: the valve is not persuasive.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the carminative does not counterweight Arauca but it does transfer sunlamp.; int4 -> hypothesis; __PROVED__