the Alaskan is a Hydrobatidae.
sent1: that the lavaliere is an isomer and is not a kind of a minstrelsy is not right. sent2: the potherb is a ketohexose that wets. sent3: if that the maul is both not wet and not attritional does not hold then the paella is attritional. sent4: something that is a Titus either does not recharge or is not wet or both. sent5: the potherb is attritional if it is not a subnormal. sent6: that something does not wet and is not attritional is not true if it does not recharge. sent7: that the Alaskan is a Hydrobatidae is correct if the potherb is a Jurassic. sent8: if something is attritional or it recharges or both the fact that it is non-wet is not wrong. sent9: something does not wet if the fact that it recharges is true. sent10: if that the lavaliere is an isomer but it is not a minstrelsy is wrong it is a minstrelsy. sent11: the potherb is a Titus if it is a subnormal. sent12: the fact that the trudger does not recharge hold if the fact that it does recharge and is a Titus is false. sent13: the potherb is a ketohexose. sent14: the maul does not recharge if the trudger does not recharge. sent15: if the potherb is a Titus then it is an isomer. sent16: if the potherb does not recharge and/or it is non-wet then the lavaliere does not recharge. sent17: if the potherb does recharge it does not wet.
void -> assump1: Let's assume that the potherb is not a subnormal.; sent5 & assump1 -> int1: the fact that the potherb is attritional hold.; int1 -> int2: the potherb is attritional or does recharge or both.; sent8 -> int3: the potherb is not wet if it either is attritional or recharges or both.; int2 & int3 -> int4: the potherb is not wet.; sent2 -> int5: the potherb does wet.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the potherb is a subnormal hold.; int7 & sent11 -> int8: the potherb is a Titus.; int8 & sent15 -> int9: the potherb is an isomer.;
the Alaskan is not a Hydrobatidae.
sent6 -> int10: if the maul does not recharge that it is not wet and not attritional is wrong.;
$hypothesis$ = the Alaskan is a Hydrobatidae. ; $context$ = sent1: that the lavaliere is an isomer and is not a kind of a minstrelsy is not right. sent2: the potherb is a ketohexose that wets. sent3: if that the maul is both not wet and not attritional does not hold then the paella is attritional. sent4: something that is a Titus either does not recharge or is not wet or both. sent5: the potherb is attritional if it is not a subnormal. sent6: that something does not wet and is not attritional is not true if it does not recharge. sent7: that the Alaskan is a Hydrobatidae is correct if the potherb is a Jurassic. sent8: if something is attritional or it recharges or both the fact that it is non-wet is not wrong. sent9: something does not wet if the fact that it recharges is true. sent10: if that the lavaliere is an isomer but it is not a minstrelsy is wrong it is a minstrelsy. sent11: the potherb is a Titus if it is a subnormal. sent12: the fact that the trudger does not recharge hold if the fact that it does recharge and is a Titus is false. sent13: the potherb is a ketohexose. sent14: the maul does not recharge if the trudger does not recharge. sent15: if the potherb is a Titus then it is an isomer. sent16: if the potherb does not recharge and/or it is non-wet then the lavaliere does not recharge. sent17: if the potherb does recharge it does not wet. ; $proof$ = 
void -> assump1: Let's assume that the potherb is not a subnormal.; sent5 & assump1 -> int1: the fact that the potherb is attritional hold.; int1 -> int2: the potherb is attritional or does recharge or both.; sent8 -> int3: the potherb is not wet if it either is attritional or recharges or both.; int2 & int3 -> int4: the potherb is not wet.; sent2 -> int5: the potherb does wet.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the potherb is a subnormal hold.; int7 & sent11 -> int8: the potherb is a Titus.; int8 & sent15 -> int9: the potherb is an isomer.; __UNKNOWN__