the darkness is homostylous.
sent1: if the histologist is both not an amount and homostylous then the darkness is not a ackee. sent2: the creosote does not discountenance Castoridae if the histologist is not residential. sent3: the Miss is not a kind of a Haitian if it is not an immobility and does compartmentalize sartorius. sent4: if either the histologist is a Kalotermitidae or it is not a kind of a ackee or both then it is nonresidential. sent5: the histologist is not residential if the fact that it is not a ackee hold. sent6: the darkness is a lowered if that it is not a kind of an amount is not false. sent7: if the histologist is bolographic the darkness does not discountenance Castoridae and it is not residential. sent8: the circumference is not a lowered if there is something such that that it does not salt plethysmograph and it compartmentalizes diaphoretic does not hold. sent9: if the histologist is not residential then the creosote does not discountenance Castoridae but it is bolographic. sent10: if something is not a Haitian then the fact that it does not salt plethysmograph and it compartmentalizes diaphoretic does not hold. sent11: the sprigtail does not awake. sent12: the sprigtail is not participial. sent13: if the creosote does not discountenance Castoridae and is not non-bolographic the darkness is not a kind of an amount. sent14: the darkness is homostylous if it is a kind of a lowered. sent15: the Miss does not obtain if the sprigtail is a kind of non-participial thing that does not awake. sent16: something is not homostylous if it does not discountenance Castoridae. sent17: the Miss is not a kind of an immobility and compartmentalizes sartorius if the fact that it does not obtain is not false.
the darkness is not homostylous.
sent16 -> int1: if the darkness does not discountenance Castoridae it is not homostylous.; sent10 -> int2: if the Miss is not Haitian the fact that it does not salt plethysmograph and compartmentalizes diaphoretic is not correct.; sent12 & sent11 -> int3: the sprigtail is both not participial and not awake.; sent15 & int3 -> int4: the Miss does not obtain.; sent17 & int4 -> int5: the Miss is not a kind of an immobility and compartmentalizes sartorius.; sent3 & int5 -> int6: the Miss is non-Haitian.; int2 & int6 -> int7: that that the Miss does not salt plethysmograph and compartmentalizes diaphoretic is incorrect is true.; int7 -> int8: there is something such that that it does not salt plethysmograph and it does compartmentalize diaphoretic is not right.; int8 & sent8 -> int9: the circumference does not lower.; int9 -> int10: there is something such that it does not lower.;
$hypothesis$ = the darkness is homostylous. ; $context$ = sent1: if the histologist is both not an amount and homostylous then the darkness is not a ackee. sent2: the creosote does not discountenance Castoridae if the histologist is not residential. sent3: the Miss is not a kind of a Haitian if it is not an immobility and does compartmentalize sartorius. sent4: if either the histologist is a Kalotermitidae or it is not a kind of a ackee or both then it is nonresidential. sent5: the histologist is not residential if the fact that it is not a ackee hold. sent6: the darkness is a lowered if that it is not a kind of an amount is not false. sent7: if the histologist is bolographic the darkness does not discountenance Castoridae and it is not residential. sent8: the circumference is not a lowered if there is something such that that it does not salt plethysmograph and it compartmentalizes diaphoretic does not hold. sent9: if the histologist is not residential then the creosote does not discountenance Castoridae but it is bolographic. sent10: if something is not a Haitian then the fact that it does not salt plethysmograph and it compartmentalizes diaphoretic does not hold. sent11: the sprigtail does not awake. sent12: the sprigtail is not participial. sent13: if the creosote does not discountenance Castoridae and is not non-bolographic the darkness is not a kind of an amount. sent14: the darkness is homostylous if it is a kind of a lowered. sent15: the Miss does not obtain if the sprigtail is a kind of non-participial thing that does not awake. sent16: something is not homostylous if it does not discountenance Castoridae. sent17: the Miss is not a kind of an immobility and compartmentalizes sartorius if the fact that it does not obtain is not false. ; $proof$ = 
__UNKNOWN__