the phosphoprotein is not a Zambezi.
sent1: if the phosphoprotein does scour phosphoprotein it is not a Zambezi. sent2: the phosphoprotein is not a Megaera if the fact that it does silence Megatherium and is not a Jamison is incorrect. sent3: that something does silence busyness or does not treble or both is not right if that it does not worst is not incorrect. sent4: if the fact that something is a kind of a Megaera that does not scour phosphoprotein is false then that it is not a kind of a Zambezi hold. sent5: if that the abrasive is low-level but it does not dichotomize does not hold that it is not a Zambezi is right. sent6: there exists nothing that is a kind of a Megaera that scours phosphoprotein. sent7: if the fact that something does quintuple indomitability but it does not hum Bunyaviridae is wrong then it is not a kind of a palanquin. sent8: if something scours phosphoprotein it is not a kind of a Zambezi. sent9: if that the phosphoprotein is a oast but it is not a Zambezi does not hold it is not a kelpie. sent10: if that something quintuples correction and is not intergalactic is wrong then it is not a Dipodidae. sent11: there exists nothing that is a kind of a Megaera that does not scour phosphoprotein. sent12: the phosphoprotein is not prelapsarian. sent13: that the phosphoprotein is a Megaera and it scours phosphoprotein is not correct.
sent11 -> int1: that the phosphoprotein is a Megaera but it does not scour phosphoprotein is wrong.; sent4 -> int2: if the fact that the phosphoprotein is a Megaera and does not scour phosphoprotein is not true then it is not a Zambezi.; int1 & int2 -> hypothesis;
there is nothing such that it is placable and does not silence Babylon.
sent3 -> int3: if the escapement is not worsted the fact that either it silences busyness or it does not treble or both is not correct.;
$hypothesis$ = the phosphoprotein is not a Zambezi. ; $context$ = sent1: if the phosphoprotein does scour phosphoprotein it is not a Zambezi. sent2: the phosphoprotein is not a Megaera if the fact that it does silence Megatherium and is not a Jamison is incorrect. sent3: that something does silence busyness or does not treble or both is not right if that it does not worst is not incorrect. sent4: if the fact that something is a kind of a Megaera that does not scour phosphoprotein is false then that it is not a kind of a Zambezi hold. sent5: if that the abrasive is low-level but it does not dichotomize does not hold that it is not a Zambezi is right. sent6: there exists nothing that is a kind of a Megaera that scours phosphoprotein. sent7: if the fact that something does quintuple indomitability but it does not hum Bunyaviridae is wrong then it is not a kind of a palanquin. sent8: if something scours phosphoprotein it is not a kind of a Zambezi. sent9: if that the phosphoprotein is a oast but it is not a Zambezi does not hold it is not a kelpie. sent10: if that something quintuples correction and is not intergalactic is wrong then it is not a Dipodidae. sent11: there exists nothing that is a kind of a Megaera that does not scour phosphoprotein. sent12: the phosphoprotein is not prelapsarian. sent13: that the phosphoprotein is a Megaera and it scours phosphoprotein is not correct. ; $proof$ = 
sent11 -> int1: that the phosphoprotein is a Megaera but it does not scour phosphoprotein is wrong.; sent4 -> int2: if the fact that the phosphoprotein is a Megaera and does not scour phosphoprotein is not true then it is not a Zambezi.; int1 & int2 -> hypothesis; __PROVED__