that the Lot either is a fascist or is not a kind of a kanzu or both is wrong.
sent1: if that the dropkicker is a one is not false the samba is a midwife. sent2: if the samba is a kind of a midwife then it is a prodigal. sent3: if the dropkicker is collarless the samba is a midwife. sent4: if the Lot is collarless either the dropkicker is a fascist or it is not a kanzu or both. sent5: the dropkicker is either a one or a prodigal or both. sent6: the dropkicker is collarless or is a one or both. sent7: the Lot is fascist and/or is not a kind of a kanzu if the samba is a prodigal.
sent6 & sent3 & sent1 -> int1: the samba is a midwife.; int1 & sent2 -> int2: the fact that the samba is a prodigal is right.; int2 & sent7 -> hypothesis;
$hypothesis$ = that the Lot either is a fascist or is not a kind of a kanzu or both is wrong. ; $context$ = sent1: if that the dropkicker is a one is not false the samba is a midwife. sent2: if the samba is a kind of a midwife then it is a prodigal. sent3: if the dropkicker is collarless the samba is a midwife. sent4: if the Lot is collarless either the dropkicker is a fascist or it is not a kanzu or both. sent5: the dropkicker is either a one or a prodigal or both. sent6: the dropkicker is collarless or is a one or both. sent7: the Lot is fascist and/or is not a kind of a kanzu if the samba is a prodigal. ; $proof$ = 
sent6 & sent3 & sent1 -> int1: the samba is a midwife.; int1 & sent2 -> int2: the fact that the samba is a prodigal is right.; int2 & sent7 -> hypothesis; __DISPROVED__