that the salesgirl fleshes capitalization and/or it is a kind of a blasted does not hold.
sent1: the culverin mythologizes precaution. sent2: if that the fact that something is both incredulous and not impetiginous is correct does not hold then it does not champ. sent3: the culverin is humanistic. sent4: the fact that the baggageman does not mythologize knockdown hold if the dingo does not champ. sent5: if the spokesman is not a fraudulence and it is not a save then the beautician is not incredulous. sent6: that the cockle is a centennial and it is not non-humanistic is wrong if the baggageman does not mythologize knockdown. sent7: if the cockle is not a blasted then the salesgirl fleshes capitalization and/or is a blasted. sent8: if the stowage is a Cornish then the fact that it absolves and is not a fanned is not correct. sent9: the cockle fleshes capitalization. sent10: if the culverin does mythologize precaution and it is humanistic the cockle is not a blasted. sent11: the stowage is a kind of a Cornish. sent12: if that the cockle is both centennial and humanistic is not true then the culverin does not mythologize precaution. sent13: if the culverin does not mythologize precaution that either the salesgirl fleshes capitalization or it is a blasted or both does not hold. sent14: something is not a fraudulence and does not save if it does not mythologize beautician. sent15: The precaution mythologizes culverin.
sent1 & sent3 -> int1: the culverin mythologizes precaution and it is humanistic.; sent10 & int1 -> int2: the fact that the cockle is not a blasted is true.; sent7 & int2 -> hypothesis;
that the salesgirl does flesh capitalization or blasts or both does not hold.
sent2 -> int3: if the fact that the dingo is incredulous but not impetiginous does not hold then it does not champ.; sent14 -> int4: the spokesman is not a fraudulence and does not save if that it does not mythologize beautician hold.; sent8 & sent11 -> int5: the fact that the stowage does absolve but it is not a fanned does not hold.; int5 -> int6: there is something such that that it does absolve and does not fan is false.;
$hypothesis$ = that the salesgirl fleshes capitalization and/or it is a kind of a blasted does not hold. ; $context$ = sent1: the culverin mythologizes precaution. sent2: if that the fact that something is both incredulous and not impetiginous is correct does not hold then it does not champ. sent3: the culverin is humanistic. sent4: the fact that the baggageman does not mythologize knockdown hold if the dingo does not champ. sent5: if the spokesman is not a fraudulence and it is not a save then the beautician is not incredulous. sent6: that the cockle is a centennial and it is not non-humanistic is wrong if the baggageman does not mythologize knockdown. sent7: if the cockle is not a blasted then the salesgirl fleshes capitalization and/or is a blasted. sent8: if the stowage is a Cornish then the fact that it absolves and is not a fanned is not correct. sent9: the cockle fleshes capitalization. sent10: if the culverin does mythologize precaution and it is humanistic the cockle is not a blasted. sent11: the stowage is a kind of a Cornish. sent12: if that the cockle is both centennial and humanistic is not true then the culverin does not mythologize precaution. sent13: if the culverin does not mythologize precaution that either the salesgirl fleshes capitalization or it is a blasted or both does not hold. sent14: something is not a fraudulence and does not save if it does not mythologize beautician. sent15: The precaution mythologizes culverin. ; $proof$ = 
sent1 & sent3 -> int1: the culverin mythologizes precaution and it is humanistic.; sent10 & int1 -> int2: the fact that the cockle is not a blasted is true.; sent7 & int2 -> hypothesis; __DISPROVED__