if the father-figure is tonsorial the case does gladden Mashriq.
sent1: the lipstick gladdens performer. sent2: if the dromedary is not hypnotic the father-figure does repair Kentuckian. sent3: if the dromedary does fear Nazarene and does not plow it is not hypnotic. sent4: the case gladdens Mashriq if something does repair Kentuckian and it is tonsorial. sent5: if something that does not fear Nazarene is not a kind of a plowed then it is not hypnotic. sent6: The performer gladdens lipstick. sent7: if there exists something such that it gladdens performer that the dromedary does not fear Nazarene and does not plow hold.
sent1 -> int1: there exists something such that the fact that it gladdens performer is true.; int1 & sent7 -> int2: the dromedary does not fear Nazarene and it is not a plowed.; sent5 -> int3: if the dromedary does not fear Nazarene and it is not a plowed then it is not hypnotic.; int2 & int3 -> int4: the dromedary is not hypnotic.; int4 & sent2 -> int5: the father-figure repairs Kentuckian.; void -> assump1: Let's assume that the father-figure is tonsorial.; int5 & assump1 -> int6: the father-figure does repair Kentuckian and is tonsorial.; int6 -> int7: there is something such that it does repair Kentuckian and it is tonsorial.; int7 & sent4 -> int8: the case does gladden Mashriq.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the father-figure is tonsorial the case does gladden Mashriq. ; $context$ = sent1: the lipstick gladdens performer. sent2: if the dromedary is not hypnotic the father-figure does repair Kentuckian. sent3: if the dromedary does fear Nazarene and does not plow it is not hypnotic. sent4: the case gladdens Mashriq if something does repair Kentuckian and it is tonsorial. sent5: if something that does not fear Nazarene is not a kind of a plowed then it is not hypnotic. sent6: The performer gladdens lipstick. sent7: if there exists something such that it gladdens performer that the dromedary does not fear Nazarene and does not plow hold. ; $proof$ = 
sent1 -> int1: there exists something such that the fact that it gladdens performer is true.; int1 & sent7 -> int2: the dromedary does not fear Nazarene and it is not a plowed.; sent5 -> int3: if the dromedary does not fear Nazarene and it is not a plowed then it is not hypnotic.; int2 & int3 -> int4: the dromedary is not hypnotic.; int4 & sent2 -> int5: the father-figure repairs Kentuckian.; void -> assump1: Let's assume that the father-figure is tonsorial.; int5 & assump1 -> int6: the father-figure does repair Kentuckian and is tonsorial.; int6 -> int7: there is something such that it does repair Kentuckian and it is tonsorial.; int7 & sent4 -> int8: the case does gladden Mashriq.; [assump1] & int8 -> hypothesis; __PROVED__