the middleweight is an alewife.
sent1: if the fact that something is a bismark but it does not criticize middleweight is not true that it is not hircine hold. sent2: if the fact that there is something such that that it is corporate is right hold the fact that the pallbearer is a kind of a bismark that does not criticize middleweight does not hold. sent3: if the pallbearer is not hircine that the middleweight is not hircine and not worldly is incorrect. sent4: the quail is not hircine. sent5: the middleweight does not criticize middleweight if the fact that that it is both a bismark and not hircine is not false does not hold. sent6: there exists something such that it is corporate. sent7: something is not an alewife if that it is not hircine and not worldly is not right.
sent6 & sent2 -> int1: the fact that the pallbearer is a kind of a bismark and does not criticize middleweight is false.; sent1 -> int2: the fact that if that the pallbearer is the bismark and does not criticize middleweight does not hold then the pallbearer is not hircine is not wrong.; int1 & int2 -> int3: the pallbearer is not hircine.; int3 & sent3 -> int4: that the middleweight is not hircine and is not worldly is wrong.; sent7 -> int5: if the fact that the middleweight is not hircine and it is not worldly is incorrect it is not an alewife.; int4 & int5 -> hypothesis;
$hypothesis$ = the middleweight is an alewife. ; $context$ = sent1: if the fact that something is a bismark but it does not criticize middleweight is not true that it is not hircine hold. sent2: if the fact that there is something such that that it is corporate is right hold the fact that the pallbearer is a kind of a bismark that does not criticize middleweight does not hold. sent3: if the pallbearer is not hircine that the middleweight is not hircine and not worldly is incorrect. sent4: the quail is not hircine. sent5: the middleweight does not criticize middleweight if the fact that that it is both a bismark and not hircine is not false does not hold. sent6: there exists something such that it is corporate. sent7: something is not an alewife if that it is not hircine and not worldly is not right. ; $proof$ = 
sent6 & sent2 -> int1: the fact that the pallbearer is a kind of a bismark and does not criticize middleweight is false.; sent1 -> int2: the fact that if that the pallbearer is the bismark and does not criticize middleweight does not hold then the pallbearer is not hircine is not wrong.; int1 & int2 -> int3: the pallbearer is not hircine.; int3 & sent3 -> int4: that the middleweight is not hircine and is not worldly is wrong.; sent7 -> int5: if the fact that the middleweight is not hircine and it is not worldly is incorrect it is not an alewife.; int4 & int5 -> hypothesis; __DISPROVED__