the ayatollah uncovers.
sent1: the menstruation is a kind of a niqab. sent2: the menstruation is migrational if it is a niqab. sent3: if something is a kind of a PSF that is not a force then the autoeroticism is scalene. sent4: the proton is a kind of a PSF and is not a force if it is not a kind of a joggle. sent5: the NSAID is scalene if the autoeroticism is scalene. sent6: if the ayatollah is scalene it is a vertical and it is not a Cartesian. sent7: the proton is not a kind of a joggle. sent8: the menstruation is scalene if the fact that it is not a Cartesian and/or it is vertical is wrong. sent9: if the menstruation is not non-migrational that it is not a Cartesian or a vertical or both is not correct. sent10: if the menstruation is scalene the ayatollah uncovers. sent11: if the NSAID is scalene the ayatollah is scalene.
sent2 & sent1 -> int1: the menstruation is migrational.; int1 & sent9 -> int2: the fact that the menstruation is non-Cartesian and/or it is a vertical is not correct.; int2 & sent8 -> int3: the menstruation is scalene.; int3 & sent10 -> hypothesis;
the menstruation does uncover.
sent4 & sent7 -> int4: the proton is a PSF but it is not a force.; int4 -> int5: something is a kind of a PSF but it is not a force.; int5 & sent3 -> int6: the autoeroticism is scalene.; sent5 & int6 -> int7: the NSAID is scalene.; sent11 & int7 -> int8: the ayatollah is scalene.; sent6 & int8 -> int9: the ayatollah is a vertical but it is not a Cartesian.; int9 -> int10: there exists something such that it is a kind of a vertical and it is non-Cartesian.;
$hypothesis$ = the ayatollah uncovers. ; $context$ = sent1: the menstruation is a kind of a niqab. sent2: the menstruation is migrational if it is a niqab. sent3: if something is a kind of a PSF that is not a force then the autoeroticism is scalene. sent4: the proton is a kind of a PSF and is not a force if it is not a kind of a joggle. sent5: the NSAID is scalene if the autoeroticism is scalene. sent6: if the ayatollah is scalene it is a vertical and it is not a Cartesian. sent7: the proton is not a kind of a joggle. sent8: the menstruation is scalene if the fact that it is not a Cartesian and/or it is vertical is wrong. sent9: if the menstruation is not non-migrational that it is not a Cartesian or a vertical or both is not correct. sent10: if the menstruation is scalene the ayatollah uncovers. sent11: if the NSAID is scalene the ayatollah is scalene. ; $proof$ = 
sent2 & sent1 -> int1: the menstruation is migrational.; int1 & sent9 -> int2: the fact that the menstruation is non-Cartesian and/or it is a vertical is not correct.; int2 & sent8 -> int3: the menstruation is scalene.; int3 & sent10 -> hypothesis; __PROVED__