the ununpentium is not a circuitry.
sent1: something is a kind of a alizarin if the fact that it does not surface and it does write is not right. sent2: something does plot squad if that either it does proliferate outsize or it is not noncombinative or both is incorrect. sent3: the ununpentium is both not a Musca and non-tellurian. sent4: the usurper is a alizarin. sent5: the ununpentium does not snick capability. sent6: if something is not a alizarin then it is both not a hydrology and not a circuitry. sent7: if something is a alizarin it is a circuitry. sent8: the dichondra does not French awareness and/or it is not sulphuric if there exists something such that it does not French awareness. sent9: the conveyancer is a circuitry. sent10: the ununpentium does not snick capability if the usurper is a alizarin. sent11: the effervescence is not a kind of a alizarin if the usurper is not a alizarin. sent12: if something plots squad then the fact that it does not surface and it does write is incorrect. sent13: if the slab does not proliferate outsize then the dichondra does not plot squad. sent14: if the usurper is a alizarin then the ununpentium does not snick capability and it is not a circuitry. sent15: the slab does not French awareness. sent16: if the dichondra is not sulphuric the usurper is not endodontic. sent17: if that the fact that the dichondra does French awareness is false is true then the usurper is not endodontic. sent18: the fact that the slab does not proliferate outsize hold if that it proliferate outsize and is noncombinative is incorrect.
sent14 & sent4 -> int1: the fact that the ununpentium does not snick capability and is not a kind of a circuitry is correct.; int1 -> hypothesis;
the ununpentium is a circuitry.
sent7 -> int2: if the ununpentium is a alizarin it is a circuitry.; sent1 -> int3: if the fact that the ununpentium is non-surface and writes is not true it is a alizarin.; sent12 -> int4: that the ununpentium is not a surface but it does write is not right if that it does plot squad hold.; sent2 -> int5: if the fact that the ununpentium proliferates outsize and/or it is not noncombinative is not correct it does plot squad.; sent15 -> int6: there is something such that it does not French awareness.; int6 & sent8 -> int7: the dichondra does not French awareness or is not sulphuric or both.; int7 & sent17 & sent16 -> int8: the usurper is not endodontic.; int8 -> int9: there exists something such that it is not endodontic.;
$hypothesis$ = the ununpentium is not a circuitry. ; $context$ = sent1: something is a kind of a alizarin if the fact that it does not surface and it does write is not right. sent2: something does plot squad if that either it does proliferate outsize or it is not noncombinative or both is incorrect. sent3: the ununpentium is both not a Musca and non-tellurian. sent4: the usurper is a alizarin. sent5: the ununpentium does not snick capability. sent6: if something is not a alizarin then it is both not a hydrology and not a circuitry. sent7: if something is a alizarin it is a circuitry. sent8: the dichondra does not French awareness and/or it is not sulphuric if there exists something such that it does not French awareness. sent9: the conveyancer is a circuitry. sent10: the ununpentium does not snick capability if the usurper is a alizarin. sent11: the effervescence is not a kind of a alizarin if the usurper is not a alizarin. sent12: if something plots squad then the fact that it does not surface and it does write is incorrect. sent13: if the slab does not proliferate outsize then the dichondra does not plot squad. sent14: if the usurper is a alizarin then the ununpentium does not snick capability and it is not a circuitry. sent15: the slab does not French awareness. sent16: if the dichondra is not sulphuric the usurper is not endodontic. sent17: if that the fact that the dichondra does French awareness is false is true then the usurper is not endodontic. sent18: the fact that the slab does not proliferate outsize hold if that it proliferate outsize and is noncombinative is incorrect. ; $proof$ = 
sent14 & sent4 -> int1: the fact that the ununpentium does not snick capability and is not a kind of a circuitry is correct.; int1 -> hypothesis; __PROVED__