the fact that the sulfamethoxazole is not unprintable and is a Dominion is false.
sent1: if the blower is not a inattentiveness then it is a kind of non-Tongan thing that exalts CJD. sent2: that the blower is inconvertible and tympanic is not right. sent3: if that the fact that that the sinciput does not ensky blower and does not exalt CJD hold is not true hold then the fact that it is a kind of a Tongan is not incorrect. sent4: something is both not a watt-hour and happy. sent5: the meteortropism is a kilobit if the sulfamethoxazole is a kind of a fib. sent6: if something that does not ensky blower is not a kilobit then that the blower is Tongan hold. sent7: the blower exalts CJD. sent8: if the blower is not a kind of a kilobit then that it does not fib and is tympanic does not hold. sent9: the sinciput does not ensky blower and is not a kilobit if the meteortropism is a kilobit. sent10: that something is a kind of unprintable a Dominion is incorrect if it is not a kind of a fib. sent11: there is nothing such that it is non-inconvertible thing that is tympanic. sent12: that if something is not a fib the fact that it is not unprintable and is a Dominion is not right is right.
void -> assump1: Let's assume that the sulfamethoxazole does fib.; sent5 & assump1 -> int1: the meteortropism is a kilobit.; int1 & sent9 -> int2: the sinciput does not ensky blower and it is not a kilobit.; int2 -> int3: there is something such that it does not ensky blower and it is not a kilobit.; int3 & sent6 -> int4: the fact that the blower is a Tongan hold.; sent11 -> int5: that the blower is both not inconvertible and not non-tympanic is not true.; sent12 -> int6: that the sulfamethoxazole is both not unprintable and a Dominion is false if it is not a fib.;
the sulfamethoxazole is not unprintable but it is a Dominion.
$hypothesis$ = the fact that the sulfamethoxazole is not unprintable and is a Dominion is false. ; $context$ = sent1: if the blower is not a inattentiveness then it is a kind of non-Tongan thing that exalts CJD. sent2: that the blower is inconvertible and tympanic is not right. sent3: if that the fact that that the sinciput does not ensky blower and does not exalt CJD hold is not true hold then the fact that it is a kind of a Tongan is not incorrect. sent4: something is both not a watt-hour and happy. sent5: the meteortropism is a kilobit if the sulfamethoxazole is a kind of a fib. sent6: if something that does not ensky blower is not a kilobit then that the blower is Tongan hold. sent7: the blower exalts CJD. sent8: if the blower is not a kind of a kilobit then that it does not fib and is tympanic does not hold. sent9: the sinciput does not ensky blower and is not a kilobit if the meteortropism is a kilobit. sent10: that something is a kind of unprintable a Dominion is incorrect if it is not a kind of a fib. sent11: there is nothing such that it is non-inconvertible thing that is tympanic. sent12: that if something is not a fib the fact that it is not unprintable and is a Dominion is not right is right. ; $proof$ = 
void -> assump1: Let's assume that the sulfamethoxazole does fib.; sent5 & assump1 -> int1: the meteortropism is a kilobit.; int1 & sent9 -> int2: the sinciput does not ensky blower and it is not a kilobit.; int2 -> int3: there is something such that it does not ensky blower and it is not a kilobit.; int3 & sent6 -> int4: the fact that the blower is a Tongan hold.; sent11 -> int5: that the blower is both not inconvertible and not non-tympanic is not true.; sent12 -> int6: that the sulfamethoxazole is both not unprintable and a Dominion is false if it is not a fib.; __UNKNOWN__