the mandator dogmatizes Riff.
sent1: something that is a W does acquaint cirrus and does not staple toner. sent2: the stroma is not extinguishable if the fact that the no is a kind of extinguishable thing that is a portcullis does not hold. sent3: the refractory does not acquaint cirrus. sent4: if the fact that something acquaints cirrus but it does not staple toner is true then it is not a Hungarian. sent5: there exists something such that it does not staple toner and does acquaint cirrus. sent6: there exists something such that it acquaints cirrus. sent7: the refractory is a kind of a Hungarian if the mandator does dogmatize Riff. sent8: there is something such that it does not staple toner. sent9: the fact that something does not acquaint sophism and it is not a smoothbark is not correct if it is not extinguishable. sent10: if something does not staple toner and acquaints cirrus the refractory is not a Hungarian. sent11: if the refractory dogmatizes Riff then the mandator does dogmatizes Riff. sent12: something dogmatizes Riff and is a kind of a Hungarian. sent13: that that the no is extinguishable a portcullis is not right if that the whorehouse does not acquaint absolutist hold hold. sent14: if the fact that the whorehouse does acquaint absolutist but it is not perceptual is wrong it does not acquaint absolutist. sent15: the refractory is not a kind of a W. sent16: the refractory does dogmatize Riff if the aldosterone is not a Hungarian. sent17: that the whorehouse acquaints absolutist but it is not perceptual is not true if the cirrus is a thallophyte. sent18: something is a smoothbark if that the fact that it does not acquaint sophism and it is not a smoothbark is right does not hold. sent19: something staples toner and does acquaint cirrus. sent20: there exists something such that that it is a Hungarian hold. sent21: the aldosterone is a W if that the stroma is a smoothbark is not incorrect.
void -> assump1: Let's assume that the mandator does dogmatize Riff.; sent7 & assump1 -> int1: the refractory is a kind of a Hungarian.; sent5 & sent10 -> int2: the refractory is not a Hungarian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the mandator does dogmatize Riff.
sent4 -> int4: if the aldosterone acquaints cirrus but it does not staple toner then that it is not Hungarian is not wrong.; sent1 -> int5: if the aldosterone is a kind of a W it does acquaint cirrus and does not staple toner.; sent18 -> int6: the stroma is a kind of a smoothbark if the fact that it does not acquaint sophism and is not a smoothbark is not correct.; sent9 -> int7: that the fact that the stroma does not acquaint sophism and is not a kind of a smoothbark does not hold is not false if it is not extinguishable.;
$hypothesis$ = the mandator dogmatizes Riff. ; $context$ = sent1: something that is a W does acquaint cirrus and does not staple toner. sent2: the stroma is not extinguishable if the fact that the no is a kind of extinguishable thing that is a portcullis does not hold. sent3: the refractory does not acquaint cirrus. sent4: if the fact that something acquaints cirrus but it does not staple toner is true then it is not a Hungarian. sent5: there exists something such that it does not staple toner and does acquaint cirrus. sent6: there exists something such that it acquaints cirrus. sent7: the refractory is a kind of a Hungarian if the mandator does dogmatize Riff. sent8: there is something such that it does not staple toner. sent9: the fact that something does not acquaint sophism and it is not a smoothbark is not correct if it is not extinguishable. sent10: if something does not staple toner and acquaints cirrus the refractory is not a Hungarian. sent11: if the refractory dogmatizes Riff then the mandator does dogmatizes Riff. sent12: something dogmatizes Riff and is a kind of a Hungarian. sent13: that that the no is extinguishable a portcullis is not right if that the whorehouse does not acquaint absolutist hold hold. sent14: if the fact that the whorehouse does acquaint absolutist but it is not perceptual is wrong it does not acquaint absolutist. sent15: the refractory is not a kind of a W. sent16: the refractory does dogmatize Riff if the aldosterone is not a Hungarian. sent17: that the whorehouse acquaints absolutist but it is not perceptual is not true if the cirrus is a thallophyte. sent18: something is a smoothbark if that the fact that it does not acquaint sophism and it is not a smoothbark is right does not hold. sent19: something staples toner and does acquaint cirrus. sent20: there exists something such that that it is a Hungarian hold. sent21: the aldosterone is a W if that the stroma is a smoothbark is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the mandator does dogmatize Riff.; sent7 & assump1 -> int1: the refractory is a kind of a Hungarian.; sent5 & sent10 -> int2: the refractory is not a Hungarian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__