the float is not a provocation.
sent1: the quaestor does not spend denazification. sent2: that something is not a provocation and is not non-pilar is incorrect if it is not inguinal. sent3: the quaestor is not inguinal if it spends denazification and is not managerial. sent4: the float chastens desipramine and is premedical. sent5: the fact that the quaestor spends denazification but it is not managerial is incorrect. sent6: if the quaestor is a provocation the float is non-inguinal. sent7: that the float is not managerial but a provocation is not correct. sent8: that that the pion does not labor schooling and is a alumroot is not true hold. sent9: the quaestor does not chasten Pamlico and it does not desire. sent10: the fact that the float does not spend denazification is not incorrect. sent11: if the quaestor spends denazification the float is not a kind of a provocation. sent12: if the fact that something is not a provocation but it is pilar is wrong it is a provocation. sent13: if the float is inguinal the quaestor is not a provocation. sent14: if the float is not pilar but a provocation it is not inguinal. sent15: the quaestor is not managerial if it is not a provocation and is not inguinal. sent16: the quaestor is not scurfy. sent17: if the quaestor does not spend denazification and is not managerial it is not inguinal. sent18: the float is not a provocation if the fact that the quaestor does not spend denazification and is not managerial is false.
void -> assump1: Let's assume that the quaestor does not spend denazification and it is not managerial.; sent17 & assump1 -> int1: the quaestor is not inguinal.;
the float is a provocation.
sent12 -> int2: if that the float is not a kind of a provocation but it is pilar is not true then it is a provocation.; sent2 -> int3: the fact that the float is not a provocation and is pilar is not right if it is not inguinal.;
$hypothesis$ = the float is not a provocation. ; $context$ = sent1: the quaestor does not spend denazification. sent2: that something is not a provocation and is not non-pilar is incorrect if it is not inguinal. sent3: the quaestor is not inguinal if it spends denazification and is not managerial. sent4: the float chastens desipramine and is premedical. sent5: the fact that the quaestor spends denazification but it is not managerial is incorrect. sent6: if the quaestor is a provocation the float is non-inguinal. sent7: that the float is not managerial but a provocation is not correct. sent8: that that the pion does not labor schooling and is a alumroot is not true hold. sent9: the quaestor does not chasten Pamlico and it does not desire. sent10: the fact that the float does not spend denazification is not incorrect. sent11: if the quaestor spends denazification the float is not a kind of a provocation. sent12: if the fact that something is not a provocation but it is pilar is wrong it is a provocation. sent13: if the float is inguinal the quaestor is not a provocation. sent14: if the float is not pilar but a provocation it is not inguinal. sent15: the quaestor is not managerial if it is not a provocation and is not inguinal. sent16: the quaestor is not scurfy. sent17: if the quaestor does not spend denazification and is not managerial it is not inguinal. sent18: the float is not a provocation if the fact that the quaestor does not spend denazification and is not managerial is false. ; $proof$ = 
void -> assump1: Let's assume that the quaestor does not spend denazification and it is not managerial.; sent17 & assump1 -> int1: the quaestor is not inguinal.; __UNKNOWN__