the widow is not argentic.
sent1: the Parthian is a Chardonnay if the widow sparkles Kroto. sent2: if the widow is Gauguinesque a swift then it is not argentic. sent3: if something is not an epidemic then the fact that it is not a subduction and/or it is resolute does not hold. sent4: there exists something such that the fact that it compacts theology and is a kind of an epidemic does not hold. sent5: something is not Gauguinesque or is diabatic or both if it is not a kind of a swift. sent6: something that is diabatic is Gauguinesque. sent7: the greeter is not an epidemic if there is something such that the fact that it does compact theology and is epidemic is not right. sent8: the fact that the exercycle does sparkle Nina and it is a polemics is false. sent9: if there exists something such that it is a Chardonnay then the meitnerium is not a swift. sent10: if the Parthian sparkles Kroto the widow is diabatic. sent11: the widow is a kind of a swift that is a Chardonnay. sent12: something is a kind of a Chardonnay if that it is not a subduction or is not irresolute or both does not hold. sent13: the Parthian does sparkle Kroto if there exists something such that that it sparkles Nina and is a kind of a polemics does not hold. sent14: the widow is argentic if the Parthian sparkles Kroto but it is not argentic. sent15: if that something is not Gauguinesque and/or it is diabatic hold then the soap is diabatic.
sent8 -> int1: there exists something such that that it sparkles Nina and is a polemics is not true.; int1 & sent13 -> int2: the Parthian sparkles Kroto.; int2 & sent10 -> int3: the widow is diabatic.; sent6 -> int4: the widow is Gauguinesque if it is diabatic.; int3 & int4 -> int5: the widow is Gauguinesque.; sent11 -> int6: the widow is a kind of a swift.; int5 & int6 -> int7: the widow is Gauguinesque and it is a swift.; int7 & sent2 -> hypothesis;
the widow is argentic.
sent5 -> int8: that the meitnerium either is not Gauguinesque or is diabatic or both if the meitnerium is not a kind of a swift is right.; sent12 -> int9: the greeter is a Chardonnay if the fact that it either is not a kind of a subduction or is resolute or both is not true.; sent3 -> int10: if the greeter is not a kind of an epidemic the fact that it is not a subduction and/or it is resolute is wrong.; sent4 & sent7 -> int11: the greeter is not an epidemic.; int10 & int11 -> int12: the fact that either the greeter is not a subduction or it is resolute or both does not hold.; int9 & int12 -> int13: the greeter is a Chardonnay.; int13 -> int14: there exists something such that it is a kind of a Chardonnay.; int14 & sent9 -> int15: the meitnerium is not a swift.; int8 & int15 -> int16: the meitnerium is not Gauguinesque and/or it is diabatic.; int16 -> int17: there exists something such that it is not Gauguinesque and/or it is diabatic.; int17 & sent15 -> int18: the soap is diabatic.; int18 -> int19: there are diabatic things.;
$hypothesis$ = the widow is not argentic. ; $context$ = sent1: the Parthian is a Chardonnay if the widow sparkles Kroto. sent2: if the widow is Gauguinesque a swift then it is not argentic. sent3: if something is not an epidemic then the fact that it is not a subduction and/or it is resolute does not hold. sent4: there exists something such that the fact that it compacts theology and is a kind of an epidemic does not hold. sent5: something is not Gauguinesque or is diabatic or both if it is not a kind of a swift. sent6: something that is diabatic is Gauguinesque. sent7: the greeter is not an epidemic if there is something such that the fact that it does compact theology and is epidemic is not right. sent8: the fact that the exercycle does sparkle Nina and it is a polemics is false. sent9: if there exists something such that it is a Chardonnay then the meitnerium is not a swift. sent10: if the Parthian sparkles Kroto the widow is diabatic. sent11: the widow is a kind of a swift that is a Chardonnay. sent12: something is a kind of a Chardonnay if that it is not a subduction or is not irresolute or both does not hold. sent13: the Parthian does sparkle Kroto if there exists something such that that it sparkles Nina and is a kind of a polemics does not hold. sent14: the widow is argentic if the Parthian sparkles Kroto but it is not argentic. sent15: if that something is not Gauguinesque and/or it is diabatic hold then the soap is diabatic. ; $proof$ = 
sent8 -> int1: there exists something such that that it sparkles Nina and is a polemics is not true.; int1 & sent13 -> int2: the Parthian sparkles Kroto.; int2 & sent10 -> int3: the widow is diabatic.; sent6 -> int4: the widow is Gauguinesque if it is diabatic.; int3 & int4 -> int5: the widow is Gauguinesque.; sent11 -> int6: the widow is a kind of a swift.; int5 & int6 -> int7: the widow is Gauguinesque and it is a swift.; int7 & sent2 -> hypothesis; __PROVED__