if the tacker does not digress that the fraise does cleave fraise and/or it is not a kind of a maxi is not correct.
sent1: the fraise is a kind of a maxi. sent2: if that the fact that the fraise is not discourteous is not incorrect is wrong the planetarium cleaves NIPR. sent3: that the fraise digresses and/or does not rear tacker is not right. sent4: everything is a vaudevillian. sent5: if the fraise is not courteous then the planetarium cleaves NIPR but it is non-leonine. sent6: either the fraise does cleave fraise or it is a maxi or both. sent7: if the tacker does not digress the fraise is a maxi. sent8: if something is not a maxi then the fact that it is not courteous is not incorrect. sent9: the planetarium cleaves NIPR. sent10: something cleaves NIPR if the fact that it does not digress or it is leonine or both is wrong. sent11: something is not courteous if it cleaves fraise or is not a maxi or both. sent12: the fact that the planetarium does cleave fraise or it is not courteous or both is incorrect if the fraise is not leonine. sent13: the fact that either something does not digress or it is leonine or both is incorrect if it is not a kind of a Herrick. sent14: if the tacker does digress then that the fraise does cleave fraise and/or is not a maxi does not hold. sent15: the fraise does cleave fraise or is not a kind of a maxi or both if the tacker does not digress. sent16: that if something does cleave NIPR then it is courteous hold. sent17: if the fraise is not a maxi then it is not courteous.
sent11 -> int1: the fraise is not courteous if it does cleave fraise and/or it is not a maxi.; void -> assump1: Let's assume that the fraise does cleave fraise and/or is not maxi.; int1 & assump1 -> int2: the fraise is not courteous.; sent5 & int2 -> int3: the planetarium does cleave NIPR but it is not leonine.;
the planetarium is courteous.
sent16 -> int4: that the planetarium is courteous hold if it cleaves NIPR.; sent10 -> int5: that the planetarium cleaves NIPR if the fact that the fact that the planetarium does not digress and/or it is leonine is right is wrong is true.; sent13 -> int6: if the planetarium is not a Herrick that either it does not digress or it is leonine or both is not true.; sent4 -> int7: the tacker is a vaudevillian.; int7 -> int8: there exists something such that it is a vaudevillian.;
$hypothesis$ = if the tacker does not digress that the fraise does cleave fraise and/or it is not a kind of a maxi is not correct. ; $context$ = sent1: the fraise is a kind of a maxi. sent2: if that the fact that the fraise is not discourteous is not incorrect is wrong the planetarium cleaves NIPR. sent3: that the fraise digresses and/or does not rear tacker is not right. sent4: everything is a vaudevillian. sent5: if the fraise is not courteous then the planetarium cleaves NIPR but it is non-leonine. sent6: either the fraise does cleave fraise or it is a maxi or both. sent7: if the tacker does not digress the fraise is a maxi. sent8: if something is not a maxi then the fact that it is not courteous is not incorrect. sent9: the planetarium cleaves NIPR. sent10: something cleaves NIPR if the fact that it does not digress or it is leonine or both is wrong. sent11: something is not courteous if it cleaves fraise or is not a maxi or both. sent12: the fact that the planetarium does cleave fraise or it is not courteous or both is incorrect if the fraise is not leonine. sent13: the fact that either something does not digress or it is leonine or both is incorrect if it is not a kind of a Herrick. sent14: if the tacker does digress then that the fraise does cleave fraise and/or is not a maxi does not hold. sent15: the fraise does cleave fraise or is not a kind of a maxi or both if the tacker does not digress. sent16: that if something does cleave NIPR then it is courteous hold. sent17: if the fraise is not a maxi then it is not courteous. ; $proof$ = 
sent11 -> int1: the fraise is not courteous if it does cleave fraise and/or it is not a maxi.; void -> assump1: Let's assume that the fraise does cleave fraise and/or is not maxi.; int1 & assump1 -> int2: the fraise is not courteous.; sent5 & int2 -> int3: the planetarium does cleave NIPR but it is not leonine.; __UNKNOWN__