the Sazerac is a kind of a magician if the fanion is not autumnal.
sent1: the fact that the fanion ratchets modulation is not right. sent2: there is something such that it is a kind of a syndicalism that is not a kind of a magician. sent3: everything is a kind of non-therapeutic thing that does prey Kiwi. sent4: something is a abutter but it is not autumnal. sent5: if there is something such that it is not a syndicalism and is not autumnal the fact that the Sazerac is a magician is not wrong. sent6: the fanion is not a Mesoamerican. sent7: something is not a abutter and it is not a magician. sent8: the tarragon is not a syndicalism. sent9: the Sazerac does not dimple. sent10: that the Sazerac is not a abutter is correct if it is not a magician. sent11: the take-up is not a kind of a abutter. sent12: if the fact that the Sazerac is not a magician is true then the fact that the fanion is a kind of a syndicalism hold. sent13: if something is not therapeutic but it does prey Kiwi then it does not prey subsidy. sent14: if that the Sazerac is not autumnal is not wrong then it is not a syndicalism. sent15: if the fanion is a syndicalism then the fact that the Sazerac is autumnal hold. sent16: the fanion is a kind of a abutter if something that is not a magician is not autumnal. sent17: if something that is not a syndicalism is not a abutter then the fanion is autumnal. sent18: if the Sazerac is not a magician it is not a syndicalism and it is not a abutter. sent19: something does not prey videodisk. sent20: the lotus is a kind of a magician.
void -> assump1: Let's assume that the Sazerac is not a magician.; sent18 & assump1 -> int1: the Sazerac is not a kind of a syndicalism and it is not a abutter.; int1 -> int2: something is not a syndicalism and it is not a abutter.; int2 & sent17 -> int3: the fact that the fanion is autumnal is correct.; void -> assump2: Let's assume that the fanion is not autumnal.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Sazerac is a kind of a magician.; [assump2] & int5 -> hypothesis;
the sugi is autumnal.
sent3 -> int6: the Sazerac is not therapeutic but it preys Kiwi.; sent13 -> int7: the Sazerac does not prey subsidy if it is not therapeutic and it does prey Kiwi.; int6 & int7 -> int8: the Sazerac does not prey subsidy.;
$hypothesis$ = the Sazerac is a kind of a magician if the fanion is not autumnal. ; $context$ = sent1: the fact that the fanion ratchets modulation is not right. sent2: there is something such that it is a kind of a syndicalism that is not a kind of a magician. sent3: everything is a kind of non-therapeutic thing that does prey Kiwi. sent4: something is a abutter but it is not autumnal. sent5: if there is something such that it is not a syndicalism and is not autumnal the fact that the Sazerac is a magician is not wrong. sent6: the fanion is not a Mesoamerican. sent7: something is not a abutter and it is not a magician. sent8: the tarragon is not a syndicalism. sent9: the Sazerac does not dimple. sent10: that the Sazerac is not a abutter is correct if it is not a magician. sent11: the take-up is not a kind of a abutter. sent12: if the fact that the Sazerac is not a magician is true then the fact that the fanion is a kind of a syndicalism hold. sent13: if something is not therapeutic but it does prey Kiwi then it does not prey subsidy. sent14: if that the Sazerac is not autumnal is not wrong then it is not a syndicalism. sent15: if the fanion is a syndicalism then the fact that the Sazerac is autumnal hold. sent16: the fanion is a kind of a abutter if something that is not a magician is not autumnal. sent17: if something that is not a syndicalism is not a abutter then the fanion is autumnal. sent18: if the Sazerac is not a magician it is not a syndicalism and it is not a abutter. sent19: something does not prey videodisk. sent20: the lotus is a kind of a magician. ; $proof$ = 
void -> assump1: Let's assume that the Sazerac is not a magician.; sent18 & assump1 -> int1: the Sazerac is not a kind of a syndicalism and it is not a abutter.; int1 -> int2: something is not a syndicalism and it is not a abutter.; int2 & sent17 -> int3: the fact that the fanion is autumnal is correct.; void -> assump2: Let's assume that the fanion is not autumnal.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Sazerac is a kind of a magician.; [assump2] & int5 -> hypothesis; __PROVED__