the titmouse is cowardly.
sent1: if the purification is not evitable then it is not bathyal. sent2: the purification is a centrifugation. sent3: something is not rentable and does not whish if it is a centrifugation. sent4: the fact that something is anthropometric and it does formalize Ptilonorhynchus is not right if it is not cowardly. sent5: if that the hickory is not a Lubeck and does not own headmistressship does not hold then that the purification does not formalize Ptilonorhynchus is not incorrect. sent6: that if something that is not rentable does not whish then it does not formalize Nanticoke is not wrong. sent7: the fact that the hickory is not a Lubeck and it does not own headmistressship is wrong. sent8: the titmouse is inevitable thing that is a brainstem. sent9: the fact that either the axerophthol is anthropometric or it does formalize Nanticoke or both is incorrect. sent10: the fact that the purification is not anthropometric hold if that the axerophthol is anthropometric or does formalize Nanticoke or both does not hold. sent11: if something that does not formalize Nanticoke is not bathyal then the hickory is not cowardly. sent12: if the titmouse is not evitable but it is a kind of a brainstem then the purification is not evitable. sent13: the titmouse is not cowardly if the purification does not formalize Ptilonorhynchus and is not anthropometric.
sent5 & sent7 -> int1: the purification does not formalize Ptilonorhynchus.; sent10 & sent9 -> int2: the purification is not anthropometric.; int1 & int2 -> int3: the purification does not formalize Ptilonorhynchus and is not anthropometric.; int3 & sent13 -> hypothesis;
the Nanticoke does not own headmistressship.
sent4 -> int4: if the fact that the hickory is not cowardly is not incorrect then the fact that it is anthropometric and does formalize Ptilonorhynchus is false.; sent6 -> int5: the purification does not formalize Nanticoke if it is not rentable and does not whish.; sent3 -> int6: the purification is a kind of unrentable thing that does not whish if it is a centrifugation.; int6 & sent2 -> int7: the purification is a kind of unrentable thing that does not whish.; int5 & int7 -> int8: the purification does not formalize Nanticoke.; sent12 & sent8 -> int9: the purification is not evitable.; sent1 & int9 -> int10: the purification is not bathyal.; int8 & int10 -> int11: the purification does not formalize Nanticoke and it is not bathyal.; int11 -> int12: there is something such that it does not formalize Nanticoke and is non-bathyal.; int12 & sent11 -> int13: the hickory is not cowardly.; int4 & int13 -> int14: the fact that the hickory is anthropometric and it does formalize Ptilonorhynchus does not hold.; int14 -> int15: there is something such that that it is a kind of anthropometric thing that does formalize Ptilonorhynchus is incorrect.;
$hypothesis$ = the titmouse is cowardly. ; $context$ = sent1: if the purification is not evitable then it is not bathyal. sent2: the purification is a centrifugation. sent3: something is not rentable and does not whish if it is a centrifugation. sent4: the fact that something is anthropometric and it does formalize Ptilonorhynchus is not right if it is not cowardly. sent5: if that the hickory is not a Lubeck and does not own headmistressship does not hold then that the purification does not formalize Ptilonorhynchus is not incorrect. sent6: that if something that is not rentable does not whish then it does not formalize Nanticoke is not wrong. sent7: the fact that the hickory is not a Lubeck and it does not own headmistressship is wrong. sent8: the titmouse is inevitable thing that is a brainstem. sent9: the fact that either the axerophthol is anthropometric or it does formalize Nanticoke or both is incorrect. sent10: the fact that the purification is not anthropometric hold if that the axerophthol is anthropometric or does formalize Nanticoke or both does not hold. sent11: if something that does not formalize Nanticoke is not bathyal then the hickory is not cowardly. sent12: if the titmouse is not evitable but it is a kind of a brainstem then the purification is not evitable. sent13: the titmouse is not cowardly if the purification does not formalize Ptilonorhynchus and is not anthropometric. ; $proof$ = 
sent5 & sent7 -> int1: the purification does not formalize Ptilonorhynchus.; sent10 & sent9 -> int2: the purification is not anthropometric.; int1 & int2 -> int3: the purification does not formalize Ptilonorhynchus and is not anthropometric.; int3 & sent13 -> hypothesis; __DISPROVED__