the Flagstaff is a Danton.
sent1: if the madrepore cheeses then it reruns morphology. sent2: that the cowgirl is not a kind of a prescription but it is a mastership is not correct. sent3: the fibrinopeptide is a prescription if that that the cowgirl is not a kind of a prescription but it is a mastership is not correct hold. sent4: the fact that something does underlie and it is volumetric is not right if the fact that it is not Dostoevskian is correct. sent5: something is non-Gothic and malarial if it is prescription. sent6: the tassel does not underlie. sent7: the Flagstaff does not sever and it is not a flatness if it is not a Danton. sent8: if the fact that something is Dostoevskian or it underlies or both is wrong then it is not volumetric. sent9: that that the Komi is Dostoevskian or it underlies or both is not incorrect is not correct if something is a kind of a pottle. sent10: something is a kind of a pottle. sent11: the madrepore is a cheese. sent12: if something is a kind of a Gothic and it reruns morphology the Komi is not a incredibility. sent13: if the fibrinopeptide is not a Gothic but it is malarial then the madrepore is a Gothic. sent14: if that something does underlie and it is volumetric is false it is not a kind of a Danton. sent15: the fact that the fact that something is a pottle that backpedals is right is false if the fact that it is not a incredibility is correct. sent16: the fact that the Komi is volumetric is not false if the Flagstaff does not sever and it is not a kind of a flatness.
void -> assump1: Let's assume that the Flagstaff is not a Danton.; sent7 & assump1 -> int1: the Flagstaff does not sever and is not a flatness.; int1 & sent16 -> int2: the Komi is volumetric.; sent8 -> int3: the Komi is non-volumetric if the fact that it is Dostoevskian and/or does underlie is not correct.; sent10 & sent9 -> int4: that the Komi is Dostoevskian or does underlie or both is wrong.; int3 & int4 -> int5: the Komi is not volumetric.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the Flagstaff is not a Danton.
sent14 -> int7: the Flagstaff is not a kind of a Danton if the fact that it does underlie and is volumetric is not true.; sent4 -> int8: if the Flagstaff is not Dostoevskian then that it does underlie and is volumetric does not hold.; sent15 -> int9: if the Komi is not a incredibility the fact that it is a pottle and it backpedals is not correct.; sent5 -> int10: the fibrinopeptide is both not Gothic and malarial if it is a prescription.; sent3 & sent2 -> int11: the fibrinopeptide is a prescription.; int10 & int11 -> int12: the fibrinopeptide is both not Gothic and malarial.; sent13 & int12 -> int13: the madrepore is a kind of a Gothic.; sent1 & sent11 -> int14: the fact that the madrepore does rerun morphology is not wrong.; int13 & int14 -> int15: the madrepore is Gothic thing that reruns morphology.; int15 -> int16: there exists something such that it is Gothic thing that reruns morphology.; int16 & sent12 -> int17: the Komi is not a incredibility.; int9 & int17 -> int18: that the Komi is a pottle and it does backpedal is not right.; int18 -> int19: there is something such that that it is a pottle and backpedals does not hold.;
$hypothesis$ = the Flagstaff is a Danton. ; $context$ = sent1: if the madrepore cheeses then it reruns morphology. sent2: that the cowgirl is not a kind of a prescription but it is a mastership is not correct. sent3: the fibrinopeptide is a prescription if that that the cowgirl is not a kind of a prescription but it is a mastership is not correct hold. sent4: the fact that something does underlie and it is volumetric is not right if the fact that it is not Dostoevskian is correct. sent5: something is non-Gothic and malarial if it is prescription. sent6: the tassel does not underlie. sent7: the Flagstaff does not sever and it is not a flatness if it is not a Danton. sent8: if the fact that something is Dostoevskian or it underlies or both is wrong then it is not volumetric. sent9: that that the Komi is Dostoevskian or it underlies or both is not incorrect is not correct if something is a kind of a pottle. sent10: something is a kind of a pottle. sent11: the madrepore is a cheese. sent12: if something is a kind of a Gothic and it reruns morphology the Komi is not a incredibility. sent13: if the fibrinopeptide is not a Gothic but it is malarial then the madrepore is a Gothic. sent14: if that something does underlie and it is volumetric is false it is not a kind of a Danton. sent15: the fact that the fact that something is a pottle that backpedals is right is false if the fact that it is not a incredibility is correct. sent16: the fact that the Komi is volumetric is not false if the Flagstaff does not sever and it is not a kind of a flatness. ; $proof$ = 
void -> assump1: Let's assume that the Flagstaff is not a Danton.; sent7 & assump1 -> int1: the Flagstaff does not sever and is not a flatness.; int1 & sent16 -> int2: the Komi is volumetric.; sent8 -> int3: the Komi is non-volumetric if the fact that it is Dostoevskian and/or does underlie is not correct.; sent10 & sent9 -> int4: that the Komi is Dostoevskian or does underlie or both is wrong.; int3 & int4 -> int5: the Komi is not volumetric.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__