the aye-aye does not mummify Iwo and it is not lucky.
sent1: the doorstop is apologetics. sent2: that the aye-aye does not mummify Iwo is not false if the estrone is not collarless. sent3: if the doorstop is not chelicerous then that the aye-aye is non-apologetics but not non-collarless is false. sent4: if something that damps SCID is apologetics the estrone is not collarless. sent5: the fact that something does not mummify Iwo and it is not lucky is not correct if it does damp SCID. sent6: The fact that the SCID does damp doorstop is not incorrect. sent7: the fact that the doorstop does damp SCID is not incorrect. sent8: the doorstop is not chelicerous if the estrone is chelicerous but it does not brazen. sent9: there is something such that it damps SCID.
sent7 & sent1 -> int1: the doorstop does damp SCID and it is apologetics.; int1 -> int2: something does damp SCID and is apologetics.; int2 & sent4 -> int3: the estrone is not collarless.;
that the aye-aye does not mummify Iwo and is not lucky is not right.
sent5 -> int4: if the aye-aye damps SCID then that it does not mummify Iwo and is not lucky is not true.;
$hypothesis$ = the aye-aye does not mummify Iwo and it is not lucky. ; $context$ = sent1: the doorstop is apologetics. sent2: that the aye-aye does not mummify Iwo is not false if the estrone is not collarless. sent3: if the doorstop is not chelicerous then that the aye-aye is non-apologetics but not non-collarless is false. sent4: if something that damps SCID is apologetics the estrone is not collarless. sent5: the fact that something does not mummify Iwo and it is not lucky is not correct if it does damp SCID. sent6: The fact that the SCID does damp doorstop is not incorrect. sent7: the fact that the doorstop does damp SCID is not incorrect. sent8: the doorstop is not chelicerous if the estrone is chelicerous but it does not brazen. sent9: there is something such that it damps SCID. ; $proof$ = 
sent7 & sent1 -> int1: the doorstop does damp SCID and it is apologetics.; int1 -> int2: something does damp SCID and is apologetics.; int2 & sent4 -> int3: the estrone is not collarless.; __UNKNOWN__