the sulfapyridine is not a Surya if the fact that the fohn is etiological hold.
sent1: if that the sulfapyridine is a Surya hold then it splutters arthrography. sent2: the sulfapyridine is blastomycotic. sent3: if there exists something such that the fact that it is a sandbur and it is octal is wrong then the tag is a reversion. sent4: if the fact that the sulfapyridine is a Surya is true then the fohn does not splutter arthrography. sent5: if something is a kind of a reversion then that it is not steroidal and it is not a kind of a junior is not right. sent6: the sulfapyridine is not a kind of a Surya if the fact that the fohn splutters arthrography hold. sent7: the fohn is non-etiological if the sulfapyridine does splutter arthrography. sent8: if the fact that the fohn is etiological is correct then the sulfapyridine is a Surya. sent9: the fohn is etiological if the sulfapyridine splutters arthrography. sent10: there is something such that the fact that it is a kind of a sandbur and it is octal is not true. sent11: if that the sulfapyridine is aponeurotic is not false it is proportionate. sent12: if the fohn is a Surya the sulfapyridine is not etiological. sent13: something is etiological if that it is not a kind of a fratricide and is meatless does not hold. sent14: the kraal is a Surya but it does not splutter arthrography if the sulfapyridine is etiological. sent15: the fohn is steroidal if there exists something such that the fact that it is not steroidal and it is not a junior is not correct. sent16: the fact that the sulfapyridine does splutter arthrography is not wrong if it is etiological.
void -> assump2: Let's assume that the fohn is etiological.; void -> assump1: Let's assume that the sulfapyridine is a kind of a Surya.; sent1 & assump1 -> int1: the sulfapyridine does splutter arthrography.; sent7 & int1 -> int2: the fohn is not etiological.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sulfapyridine is not a Surya.; [assump2] & int4 -> hypothesis;
the kraal does not splutter arthrography.
sent13 -> int5: the sulfapyridine is etiological if that it is not a kind of a fratricide and is meatless does not hold.; sent5 -> int6: if the tag is a reversion then the fact that it is not steroidal and it is not a junior is not correct.; sent10 & sent3 -> int7: the tag is a reversion.; int6 & int7 -> int8: the fact that the tag is not steroidal and it is not junior is incorrect.; int8 -> int9: there is something such that the fact that it is non-steroidal thing that is not a junior is false.; int9 & sent15 -> int10: the fact that the fohn is steroidal is true.; int10 -> int11: there is something such that the fact that it is steroidal is correct.;
$hypothesis$ = the sulfapyridine is not a Surya if the fact that the fohn is etiological hold. ; $context$ = sent1: if that the sulfapyridine is a Surya hold then it splutters arthrography. sent2: the sulfapyridine is blastomycotic. sent3: if there exists something such that the fact that it is a sandbur and it is octal is wrong then the tag is a reversion. sent4: if the fact that the sulfapyridine is a Surya is true then the fohn does not splutter arthrography. sent5: if something is a kind of a reversion then that it is not steroidal and it is not a kind of a junior is not right. sent6: the sulfapyridine is not a kind of a Surya if the fact that the fohn splutters arthrography hold. sent7: the fohn is non-etiological if the sulfapyridine does splutter arthrography. sent8: if the fact that the fohn is etiological is correct then the sulfapyridine is a Surya. sent9: the fohn is etiological if the sulfapyridine splutters arthrography. sent10: there is something such that the fact that it is a kind of a sandbur and it is octal is not true. sent11: if that the sulfapyridine is aponeurotic is not false it is proportionate. sent12: if the fohn is a Surya the sulfapyridine is not etiological. sent13: something is etiological if that it is not a kind of a fratricide and is meatless does not hold. sent14: the kraal is a Surya but it does not splutter arthrography if the sulfapyridine is etiological. sent15: the fohn is steroidal if there exists something such that the fact that it is not steroidal and it is not a junior is not correct. sent16: the fact that the sulfapyridine does splutter arthrography is not wrong if it is etiological. ; $proof$ = 
void -> assump2: Let's assume that the fohn is etiological.; void -> assump1: Let's assume that the sulfapyridine is a kind of a Surya.; sent1 & assump1 -> int1: the sulfapyridine does splutter arthrography.; sent7 & int1 -> int2: the fohn is not etiological.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sulfapyridine is not a Surya.; [assump2] & int4 -> hypothesis; __PROVED__