that there exists something such that if it deaminates coiling then the fact that it is a Threskiornithidae hold is wrong.
sent1: there is something such that if it pecks Weisshorn then it does peck nakedwood. sent2: the equine does spend. sent3: if there is something such that it is a Threskiornithidae the equine is not atrioventricular. sent4: if something is not a kind of a shuttle the box is a pyrrhic that deaminates coiling. sent5: the vaporizer does deaminate Antedon but it does not peck plastique if there are unreceptive things. sent6: the equine is ascosporic if it is a Threskiornithidae. sent7: something that does deaminate Antedon and does not peck plastique does not shuttle. sent8: the alcohol is not a Threskiornithidae. sent9: the fact that something is not a Threskiornithidae is correct if it does deaminate coiling. sent10: the equine does not deaminate coiling if it is a Threskiornithidae. sent11: the Opera is unreceptive. sent12: if the equine is not a Threskiornithidae then it does not deaminate coiling. sent13: if the equine is not a kind of a Threskiornithidae it deaminates coiling.
void -> assump2: Let's assume that the equine is not a Threskiornithidae.; sent12 & assump2 -> int1: the equine does not deaminate coiling.; void -> assump1: Let's assume that the equine does deaminate coiling.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the equine is a Threskiornithidae.; [assump1] & int3 -> int4: the equine is a Threskiornithidae if it does deaminate coiling.; int4 -> hypothesis;
the equine is not atrioventricular.
sent7 -> int5: if the vaporizer deaminates Antedon but it does not peck plastique then it is not a shuttle.; sent11 -> int6: there is something such that it is unreceptive.; int6 & sent5 -> int7: the vaporizer deaminates Antedon and does not peck plastique.; int5 & int7 -> int8: the vaporizer is not a shuttle.; int8 -> int9: that there is something such that it is not a shuttle is not wrong.; int9 & sent4 -> int10: the box is pyrrhic and does deaminate coiling.; int10 -> int11: the box deaminates coiling.; int11 -> int12: there exists something such that it deaminates coiling.;
$hypothesis$ = that there exists something such that if it deaminates coiling then the fact that it is a Threskiornithidae hold is wrong. ; $context$ = sent1: there is something such that if it pecks Weisshorn then it does peck nakedwood. sent2: the equine does spend. sent3: if there is something such that it is a Threskiornithidae the equine is not atrioventricular. sent4: if something is not a kind of a shuttle the box is a pyrrhic that deaminates coiling. sent5: the vaporizer does deaminate Antedon but it does not peck plastique if there are unreceptive things. sent6: the equine is ascosporic if it is a Threskiornithidae. sent7: something that does deaminate Antedon and does not peck plastique does not shuttle. sent8: the alcohol is not a Threskiornithidae. sent9: the fact that something is not a Threskiornithidae is correct if it does deaminate coiling. sent10: the equine does not deaminate coiling if it is a Threskiornithidae. sent11: the Opera is unreceptive. sent12: if the equine is not a Threskiornithidae then it does not deaminate coiling. sent13: if the equine is not a kind of a Threskiornithidae it deaminates coiling. ; $proof$ = 
void -> assump2: Let's assume that the equine is not a Threskiornithidae.; sent12 & assump2 -> int1: the equine does not deaminate coiling.; void -> assump1: Let's assume that the equine does deaminate coiling.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the equine is a Threskiornithidae.; [assump1] & int3 -> int4: the equine is a Threskiornithidae if it does deaminate coiling.; int4 -> hypothesis; __DISPROVED__