the widgeon is a Fijis.
sent1: that the swathing is not non-gonadotropic hold. sent2: something is a fashionmonger if it is an infirmity. sent3: the widgeon is not a fashionmonger if there is something such that it does cope boarding and it is not a kind of a inadmissibility. sent4: the widgeon is uneasy. sent5: there exists something such that it is a fashionmonger. sent6: the fact that the widgeon is a kind of a Fijis hold if it is tympanitic and it is not an adverbial. sent7: the gabbro is gonadotropic if there is something such that the fact that it is not a kind of an infirmity or is not a kind of an adverbial or both does not hold. sent8: if the widgeon is a kind of an adverbial then it is an infirmity. sent9: the widgeon is tympanitic. sent10: if a fashionmonger is a inadmissibility then the swathing does not cope boarding. sent11: the widgeon is a inadmissibility and is uneasy.
void -> assump1: Let's assume that the widgeon is an adverbial.; sent8 & assump1 -> int1: the widgeon is an infirmity.; sent2 -> int2: if the widgeon is an infirmity it is a fashionmonger.; int1 & int2 -> int3: the widgeon is a kind of a fashionmonger.; sent11 -> int4: the widgeon is a inadmissibility.; int3 & int4 -> int5: the widgeon is a fashionmonger and it is a inadmissibility.; int5 -> int6: something is a fashionmonger and is a inadmissibility.; int6 & sent10 -> int7: the swathing does not cope boarding.;
the gabbro is gonadotropic.
$hypothesis$ = the widgeon is a Fijis. ; $context$ = sent1: that the swathing is not non-gonadotropic hold. sent2: something is a fashionmonger if it is an infirmity. sent3: the widgeon is not a fashionmonger if there is something such that it does cope boarding and it is not a kind of a inadmissibility. sent4: the widgeon is uneasy. sent5: there exists something such that it is a fashionmonger. sent6: the fact that the widgeon is a kind of a Fijis hold if it is tympanitic and it is not an adverbial. sent7: the gabbro is gonadotropic if there is something such that the fact that it is not a kind of an infirmity or is not a kind of an adverbial or both does not hold. sent8: if the widgeon is a kind of an adverbial then it is an infirmity. sent9: the widgeon is tympanitic. sent10: if a fashionmonger is a inadmissibility then the swathing does not cope boarding. sent11: the widgeon is a inadmissibility and is uneasy. ; $proof$ = 
void -> assump1: Let's assume that the widgeon is an adverbial.; sent8 & assump1 -> int1: the widgeon is an infirmity.; sent2 -> int2: if the widgeon is an infirmity it is a fashionmonger.; int1 & int2 -> int3: the widgeon is a kind of a fashionmonger.; sent11 -> int4: the widgeon is a inadmissibility.; int3 & int4 -> int5: the widgeon is a fashionmonger and it is a inadmissibility.; int5 -> int6: something is a fashionmonger and is a inadmissibility.; int6 & sent10 -> int7: the swathing does not cope boarding.; __UNKNOWN__