the prefecture does not persist.
sent1: the fact that the ribonuclease is not a zarf and does persist does not hold. sent2: if the ceruse is not ionic it does not slave flier. sent3: the ribonuclease is not a backswimmer if there is something such that that it is non-ionic thing that does not intend is not correct. sent4: if the fact that the ribonuclease is not a backswimmer is true it does not slave flier. sent5: the fact that the ribonuclease does not intend and it is not a cock is false if the ceruse is not a backswimmer. sent6: that the vamp bestirs Edaphosauridae and is not a baronet is false. sent7: the fact that the prefecture does not persist but it does intend is false. sent8: if the ribonuclease does not cock the ceruse slaves flier and it is a kind of a backswimmer. sent9: that the ribonuclease does not intend and is not a backswimmer is not right if the ceruse does not persist. sent10: the ribonuclease is not ionic. sent11: the fact that the ribonuclease is not a kind of a gathering and slaves flier does not hold. sent12: if that the fact that the vamp bestirs Edaphosauridae but it is not a baronet does not hold is right it is a baronet. sent13: the fact that the ceruse is nonionic and it does not intend is not correct if the prefecture does not persist. sent14: something that is a baronet is not hemolytic. sent15: that the ribonuclease is not a cock if the fact that the willow does bestir Chester and is licit is not true is correct. sent16: the ribonuclease does slave flier and it does cock.
void -> assump1: Let's assume that the prefecture does not persist.; sent13 & assump1 -> int1: that the ceruse is not ionic and does not intend is incorrect.; int1 -> int2: there exists something such that that it is not ionic and it does not intend is not right.; int2 & sent3 -> int3: the ribonuclease is not a backswimmer.; int3 & sent4 -> int4: the fact that the ribonuclease does not slave flier is not false.; sent16 -> int5: the ribonuclease does slave flier.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
that the prefecture does not persist is not false.
sent14 -> int7: the vamp is not hemolytic if it is a baronet.; sent12 & sent6 -> int8: the fact that the vamp is a kind of a baronet is correct.; int7 & int8 -> int9: the vamp is not hemolytic.; int9 -> int10: there exists something such that it is not hemolytic.;
$hypothesis$ = the prefecture does not persist. ; $context$ = sent1: the fact that the ribonuclease is not a zarf and does persist does not hold. sent2: if the ceruse is not ionic it does not slave flier. sent3: the ribonuclease is not a backswimmer if there is something such that that it is non-ionic thing that does not intend is not correct. sent4: if the fact that the ribonuclease is not a backswimmer is true it does not slave flier. sent5: the fact that the ribonuclease does not intend and it is not a cock is false if the ceruse is not a backswimmer. sent6: that the vamp bestirs Edaphosauridae and is not a baronet is false. sent7: the fact that the prefecture does not persist but it does intend is false. sent8: if the ribonuclease does not cock the ceruse slaves flier and it is a kind of a backswimmer. sent9: that the ribonuclease does not intend and is not a backswimmer is not right if the ceruse does not persist. sent10: the ribonuclease is not ionic. sent11: the fact that the ribonuclease is not a kind of a gathering and slaves flier does not hold. sent12: if that the fact that the vamp bestirs Edaphosauridae but it is not a baronet does not hold is right it is a baronet. sent13: the fact that the ceruse is nonionic and it does not intend is not correct if the prefecture does not persist. sent14: something that is a baronet is not hemolytic. sent15: that the ribonuclease is not a cock if the fact that the willow does bestir Chester and is licit is not true is correct. sent16: the ribonuclease does slave flier and it does cock. ; $proof$ = 
void -> assump1: Let's assume that the prefecture does not persist.; sent13 & assump1 -> int1: that the ceruse is not ionic and does not intend is incorrect.; int1 -> int2: there exists something such that that it is not ionic and it does not intend is not right.; int2 & sent3 -> int3: the ribonuclease is not a backswimmer.; int3 & sent4 -> int4: the fact that the ribonuclease does not slave flier is not false.; sent16 -> int5: the ribonuclease does slave flier.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__