the entertainer is not sociolinguistic.
sent1: if something that is not a life miffs it is not immodest. sent2: there is something such that it is sociolinguistic. sent3: there exists something such that it is Slavonic. sent4: if something torments chandler it is sociolinguistic. sent5: the inflater torments chandler. sent6: the entertainer is not sociolinguistic if there is something such that it does torment chandler and it is Slavonic. sent7: The chandler torments inflater. sent8: something does torment chandler and it is Slavonic if it is not immodest. sent9: the entertainer is a tun. sent10: the wood-frog is a gigot and is capitalistic. sent11: the inflater is Slavonic. sent12: there exists something such that it torments chandler.
sent5 & sent11 -> int1: the inflater torments chandler and it is Slavonic.; int1 -> int2: something does torment chandler and it is Slavonic.; int2 & sent6 -> hypothesis;
that the entertainer is sociolinguistic hold.
sent4 -> int3: if the entertainer torments chandler then it is sociolinguistic.; sent8 -> int4: if the entertainer is not immodest it torments chandler and it is Slavonic.; sent1 -> int5: if the entertainer is not a life and does miff it is not immodest.;
$hypothesis$ = the entertainer is not sociolinguistic. ; $context$ = sent1: if something that is not a life miffs it is not immodest. sent2: there is something such that it is sociolinguistic. sent3: there exists something such that it is Slavonic. sent4: if something torments chandler it is sociolinguistic. sent5: the inflater torments chandler. sent6: the entertainer is not sociolinguistic if there is something such that it does torment chandler and it is Slavonic. sent7: The chandler torments inflater. sent8: something does torment chandler and it is Slavonic if it is not immodest. sent9: the entertainer is a tun. sent10: the wood-frog is a gigot and is capitalistic. sent11: the inflater is Slavonic. sent12: there exists something such that it torments chandler. ; $proof$ = 
sent5 & sent11 -> int1: the inflater torments chandler and it is Slavonic.; int1 -> int2: something does torment chandler and it is Slavonic.; int2 & sent6 -> hypothesis; __PROVED__