if the cefuroxime is a robustness then the trouser is not a Caviidae.
sent1: the waver is a kind of a wobble if the cefuroxime is a kind of a robustness. sent2: the trouser does not wobble if the waver is a Caviidae. sent3: if the cefuroxime is a Caviidae the trouser is not a kind of a robustness. sent4: the trouser is a kind of a Caviidae if the waver is a kind of a wobble. sent5: something does not vex Eindhoven and is not backless if that it is an eyelet is not wrong. sent6: the trouser is a kind of a Caviidae. sent7: the waver is not a Caviidae if the trouser is a wobble. sent8: there is something such that it is a kind of a hornwort. sent9: the waver is a robustness. sent10: the waver is a Union. sent11: if the trouser is a robustness then the cefuroxime is not a kind of a Caviidae. sent12: the fact that the trouser is a Caviidae is not incorrect if the cefuroxime is a kind of a robustness. sent13: the trouser is not a robustness if the waver is a Caviidae. sent14: if the cefuroxime is a Caviidae the trouser is a robustness. sent15: if the waver is a kind of a Caviidae the trouser is a wobble. sent16: the trouser is not a Caviidae if the waver is a kind of a wobble. sent17: the cefuroxime does wobble if the waver is a robustness. sent18: the fact that that something is a Caviidae and/or it wobbles hold is false if it is not backless.
void -> assump1: Let's assume that the cefuroxime is a robustness.; sent1 & assump1 -> int1: the waver is a wobble.; sent16 & int1 -> int2: the trouser is not a Caviidae.; [assump1] & int2 -> hypothesis;
the fact that the hollow is a robustness is not false.
sent18 -> int3: if the cefuroxime is not backless the fact that either it is a kind of a Caviidae or it is a wobble or both is wrong.; sent5 -> int4: the cefuroxime does not vex Eindhoven and it is not backless if it is an eyelet.;
$hypothesis$ = if the cefuroxime is a robustness then the trouser is not a Caviidae. ; $context$ = sent1: the waver is a kind of a wobble if the cefuroxime is a kind of a robustness. sent2: the trouser does not wobble if the waver is a Caviidae. sent3: if the cefuroxime is a Caviidae the trouser is not a kind of a robustness. sent4: the trouser is a kind of a Caviidae if the waver is a kind of a wobble. sent5: something does not vex Eindhoven and is not backless if that it is an eyelet is not wrong. sent6: the trouser is a kind of a Caviidae. sent7: the waver is not a Caviidae if the trouser is a wobble. sent8: there is something such that it is a kind of a hornwort. sent9: the waver is a robustness. sent10: the waver is a Union. sent11: if the trouser is a robustness then the cefuroxime is not a kind of a Caviidae. sent12: the fact that the trouser is a Caviidae is not incorrect if the cefuroxime is a kind of a robustness. sent13: the trouser is not a robustness if the waver is a Caviidae. sent14: if the cefuroxime is a Caviidae the trouser is a robustness. sent15: if the waver is a kind of a Caviidae the trouser is a wobble. sent16: the trouser is not a Caviidae if the waver is a kind of a wobble. sent17: the cefuroxime does wobble if the waver is a robustness. sent18: the fact that that something is a Caviidae and/or it wobbles hold is false if it is not backless. ; $proof$ = 
void -> assump1: Let's assume that the cefuroxime is a robustness.; sent1 & assump1 -> int1: the waver is a wobble.; sent16 & int1 -> int2: the trouser is not a Caviidae.; [assump1] & int2 -> hypothesis; __PROVED__