if the aftershaft is Viennese the smiler is glossopharyngeal.
sent1: the aftershaft is glossopharyngeal if the smiler is Viennese. sent2: if there is something such that it is Viennese and is Carolingian the smiler is glossopharyngeal. sent3: something is Carolingian. sent4: something is Viennese. sent5: the aftershaft is a statuary and it is a demur.
$hypothesis$ = if the aftershaft is Viennese the smiler is glossopharyngeal. ; $context$ = sent1: the aftershaft is glossopharyngeal if the smiler is Viennese. sent2: if there is something such that it is Viennese and is Carolingian the smiler is glossopharyngeal. sent3: something is Carolingian. sent4: something is Viennese. sent5: the aftershaft is a statuary and it is a demur. ; $proof$ = 
__UNKNOWN__