the copilot is not an exclusive.
sent1: if that the copilot does labor fascist and/or it is non-separate is false that it does not chasten Lodge is true. sent2: the copilot does populate if it does not labor permit. sent3: the copilot does not boggle. sent4: the copilot is not a kind of an exclusive if it does boggle. sent5: the copilot does not romp. sent6: that the quarrel does populate is right. sent7: if that something either does not populate or does rehabilitate makomako or both does not hold then it is an exclusive. sent8: if that that the copilot boggles and/or it does not chasten Lodge is correct is wrong then it does not populate. sent9: if something does boggle it is not a kind of an exclusive. sent10: the fact that the fact that the copilot does labor permit but it does not rehabilitate makomako is correct is wrong. sent11: the copilot patches if that it labors Lippizan and does not rehabilitate makomako does not hold. sent12: if something is not a tushery it is not an account. sent13: that that something does labor tackle and/or it does not tyrannize does not hold if it is a kind of an exclusive is not wrong. sent14: the copilot either is calcific or is a inhospitality or both. sent15: if that the acolyte is unsexy thing that is not alliaceous is not correct then it is one-piece. sent16: if something boggles and/or it does not chasten Lodge it is not an exclusive.
void -> assump1: Let's assume that that the copilot does boggle and/or does not chasten Lodge does not hold.; sent8 & assump1 -> int1: the copilot does not populate.; sent16 -> int2: the copilot is not an exclusive if it does boggle or it does not chasten Lodge or both.;
the copilot is an exclusive.
sent7 -> int3: the copilot is a kind of an exclusive if the fact that it either does not populate or does rehabilitate makomako or both is not right.;
$hypothesis$ = the copilot is not an exclusive. ; $context$ = sent1: if that the copilot does labor fascist and/or it is non-separate is false that it does not chasten Lodge is true. sent2: the copilot does populate if it does not labor permit. sent3: the copilot does not boggle. sent4: the copilot is not a kind of an exclusive if it does boggle. sent5: the copilot does not romp. sent6: that the quarrel does populate is right. sent7: if that something either does not populate or does rehabilitate makomako or both does not hold then it is an exclusive. sent8: if that that the copilot boggles and/or it does not chasten Lodge is correct is wrong then it does not populate. sent9: if something does boggle it is not a kind of an exclusive. sent10: the fact that the fact that the copilot does labor permit but it does not rehabilitate makomako is correct is wrong. sent11: the copilot patches if that it labors Lippizan and does not rehabilitate makomako does not hold. sent12: if something is not a tushery it is not an account. sent13: that that something does labor tackle and/or it does not tyrannize does not hold if it is a kind of an exclusive is not wrong. sent14: the copilot either is calcific or is a inhospitality or both. sent15: if that the acolyte is unsexy thing that is not alliaceous is not correct then it is one-piece. sent16: if something boggles and/or it does not chasten Lodge it is not an exclusive. ; $proof$ = 
void -> assump1: Let's assume that that the copilot does boggle and/or does not chasten Lodge does not hold.; sent8 & assump1 -> int1: the copilot does not populate.; sent16 -> int2: the copilot is not an exclusive if it does boggle or it does not chasten Lodge or both.; __UNKNOWN__