the wireworm is not a newness but it is retentive.
sent1: the wireworm is both not a newness and retentive if the Kazakhstani is retentive. sent2: something that demises Enlightenment and is a greenmarket does not demise polynomial. sent3: if the gamin is a Ruritanian the Kazakhstani is retentive. sent4: the sorghum is not a kind of a newness but it demises polynomial if the wireworm demises polynomial. sent5: if something is not a kind of a Ruritanian that it is not a newness and it is retentive is wrong. sent6: the sorghum demises Enlightenment. sent7: the sorghum is a greenmarket. sent8: if the sorghum does not demise polynomial the gamin is a kind of a Ruritanian or it does not demise polynomial or both. sent9: The Enlightenment demises sorghum. sent10: the Kazakhstani is retentive if that the gamin does not demise polynomial is right.
sent2 -> int1: if the sorghum does demise Enlightenment and it is a greenmarket it does not demise polynomial.; sent6 & sent7 -> int2: the sorghum demises Enlightenment and it is a greenmarket.; int1 & int2 -> int3: the sorghum does not demise polynomial.; int3 & sent8 -> int4: the gamin is Ruritanian and/or does not demise polynomial.; int4 & sent3 & sent10 -> int5: the Kazakhstani is retentive.; int5 & sent1 -> hypothesis;
the fact that the wireworm is both not a newness and retentive does not hold.
sent5 -> int6: that the wireworm is not a kind of a newness and is retentive is not right if it is not a Ruritanian.;
$hypothesis$ = the wireworm is not a newness but it is retentive. ; $context$ = sent1: the wireworm is both not a newness and retentive if the Kazakhstani is retentive. sent2: something that demises Enlightenment and is a greenmarket does not demise polynomial. sent3: if the gamin is a Ruritanian the Kazakhstani is retentive. sent4: the sorghum is not a kind of a newness but it demises polynomial if the wireworm demises polynomial. sent5: if something is not a kind of a Ruritanian that it is not a newness and it is retentive is wrong. sent6: the sorghum demises Enlightenment. sent7: the sorghum is a greenmarket. sent8: if the sorghum does not demise polynomial the gamin is a kind of a Ruritanian or it does not demise polynomial or both. sent9: The Enlightenment demises sorghum. sent10: the Kazakhstani is retentive if that the gamin does not demise polynomial is right. ; $proof$ = 
sent2 -> int1: if the sorghum does demise Enlightenment and it is a greenmarket it does not demise polynomial.; sent6 & sent7 -> int2: the sorghum demises Enlightenment and it is a greenmarket.; int1 & int2 -> int3: the sorghum does not demise polynomial.; int3 & sent8 -> int4: the gamin is Ruritanian and/or does not demise polynomial.; int4 & sent3 & sent10 -> int5: the Kazakhstani is retentive.; int5 & sent1 -> hypothesis; __PROVED__