the toque is not hospitable.
sent1: that the Shawnee is not most but it is a Mauritanian is false if it bestrews coyol. sent2: if the fact that the schipperke is not a straw but it is a kind of a Comstock does not hold the cockateel is a Comstock. sent3: the fact that the cockateel is not a Comstock is correct if the fact that the Shawnee is not most but it is a Mauritanian is false. sent4: that the honkytonk does not broom mycomycin or it does not bestrew coyol or both is false if the Shawnee does not bestrew coyol. sent5: the fact that the schipperke is not a straw but a Comstock is false.
void -> assump1: Let's assume that that the Shawnee does bestrew coyol is correct.; sent1 & assump1 -> int1: the fact that the Shawnee is not most but it is a Mauritanian is not true.; int1 & sent3 -> int2: the cockateel is not a Comstock.; sent2 & sent5 -> int3: the cockateel is a kind of a Comstock.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Shawnee does not bestrew coyol.; int5 & sent4 -> int6: the fact that the honkytonk either does not broom mycomycin or does not bestrew coyol or both does not hold.;
$hypothesis$ = the toque is not hospitable. ; $context$ = sent1: that the Shawnee is not most but it is a Mauritanian is false if it bestrews coyol. sent2: if the fact that the schipperke is not a straw but it is a kind of a Comstock does not hold the cockateel is a Comstock. sent3: the fact that the cockateel is not a Comstock is correct if the fact that the Shawnee is not most but it is a Mauritanian is false. sent4: that the honkytonk does not broom mycomycin or it does not bestrew coyol or both is false if the Shawnee does not bestrew coyol. sent5: the fact that the schipperke is not a straw but a Comstock is false. ; $proof$ = 
void -> assump1: Let's assume that that the Shawnee does bestrew coyol is correct.; sent1 & assump1 -> int1: the fact that the Shawnee is not most but it is a Mauritanian is not true.; int1 & sent3 -> int2: the cockateel is not a Comstock.; sent2 & sent5 -> int3: the cockateel is a kind of a Comstock.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Shawnee does not bestrew coyol.; int5 & sent4 -> int6: the fact that the honkytonk either does not broom mycomycin or does not bestrew coyol or both does not hold.; __UNKNOWN__