that the fixer-upper is not overt is wrong.
sent1: if something does not philander insectifuge it is not harsh and it is not a Perdicidae. sent2: if the countersink is not a Maxim but it is vicennial then it is not supersonic. sent3: that something is not a kind of a Perdicidae if it does not philander insectifuge hold. sent4: if that something is a layer that is not supersonic is false it does not philander insectifuge. sent5: the countersink is not a Maxim but it is vicennial. sent6: if the countersink is non-supersonic then the fact that the Kansa is a layer but it is not non-supersonic is wrong. sent7: if that something does philander Sclerotium but it is not vicennial is not right it is not a kind of a didacticism. sent8: the fact that the xanthomonad is hemispheric if the Kansa is not harsh and it is not a Perdicidae is not wrong. sent9: if the xanthomonad is hemispheric the fixer-upper is overt.
sent2 & sent5 -> int1: the countersink is not supersonic.; int1 & sent6 -> int2: the fact that the Kansa is a layer but not supersonic is false.; sent4 -> int3: if the fact that the Kansa is both a layer and not supersonic is false then it does not philander insectifuge.; int2 & int3 -> int4: the Kansa does not philander insectifuge.; sent1 -> int5: if the Kansa does not philander insectifuge then it is both not harsh and not a Perdicidae.; int4 & int5 -> int6: the Kansa is a kind of non-harsh thing that is not a Perdicidae.; int6 & sent8 -> int7: the fact that the xanthomonad is hemispheric is not false.; int7 & sent9 -> hypothesis;
the wagon is not a didacticism if that it does philander Sclerotium and is not vicennial is not right.
sent7 -> hypothesis;
$hypothesis$ = that the fixer-upper is not overt is wrong. ; $context$ = sent1: if something does not philander insectifuge it is not harsh and it is not a Perdicidae. sent2: if the countersink is not a Maxim but it is vicennial then it is not supersonic. sent3: that something is not a kind of a Perdicidae if it does not philander insectifuge hold. sent4: if that something is a layer that is not supersonic is false it does not philander insectifuge. sent5: the countersink is not a Maxim but it is vicennial. sent6: if the countersink is non-supersonic then the fact that the Kansa is a layer but it is not non-supersonic is wrong. sent7: if that something does philander Sclerotium but it is not vicennial is not right it is not a kind of a didacticism. sent8: the fact that the xanthomonad is hemispheric if the Kansa is not harsh and it is not a Perdicidae is not wrong. sent9: if the xanthomonad is hemispheric the fixer-upper is overt. ; $proof$ = 
sent2 & sent5 -> int1: the countersink is not supersonic.; int1 & sent6 -> int2: the fact that the Kansa is a layer but not supersonic is false.; sent4 -> int3: if the fact that the Kansa is both a layer and not supersonic is false then it does not philander insectifuge.; int2 & int3 -> int4: the Kansa does not philander insectifuge.; sent1 -> int5: if the Kansa does not philander insectifuge then it is both not harsh and not a Perdicidae.; int4 & int5 -> int6: the Kansa is a kind of non-harsh thing that is not a Perdicidae.; int6 & sent8 -> int7: the fact that the xanthomonad is hemispheric is not false.; int7 & sent9 -> hypothesis; __PROVED__