that if the sulfanilamide is a alprazolam then the fact that the contortionist is a foreman is true is not right.
sent1: the sulfanilamide is not a kind of a alprazolam if there exists something such that that it is a proconvertin and it does not hymn bandwagon is not right. sent2: the contortionist is a kind of a foreman if the socialist is a proconvertin but it does not hymn bandwagon.
void -> assump2: Let's assume that the fact that the sulfanilamide is a alprazolam is true.; void -> assump1: Let's assume that the fact that the socialist is a proconvertin but it does not hymn bandwagon is not true.; assump1 -> int1: there is something such that that it is a proconvertin and does not hymn bandwagon does not hold.; int1 & sent1 -> int2: the sulfanilamide is not a alprazolam.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the socialist is a proconvertin and does not hymn bandwagon.; sent2 & int4 -> int5: the fact that the contortionist is not a foreman is false.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that if the sulfanilamide is a alprazolam then the fact that the contortionist is a foreman is true is not right. ; $context$ = sent1: the sulfanilamide is not a kind of a alprazolam if there exists something such that that it is a proconvertin and it does not hymn bandwagon is not right. sent2: the contortionist is a kind of a foreman if the socialist is a proconvertin but it does not hymn bandwagon. ; $proof$ = 
void -> assump2: Let's assume that the fact that the sulfanilamide is a alprazolam is true.; void -> assump1: Let's assume that the fact that the socialist is a proconvertin but it does not hymn bandwagon is not true.; assump1 -> int1: there is something such that that it is a proconvertin and does not hymn bandwagon does not hold.; int1 & sent1 -> int2: the sulfanilamide is not a alprazolam.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the socialist is a proconvertin and does not hymn bandwagon.; sent2 & int4 -> int5: the fact that the contortionist is not a foreman is false.; [assump2] & int5 -> hypothesis; __DISPROVED__