that if the pocketcomb speculates then the fact that the pelisse does not reunite and is bacterial is wrong is false.
sent1: the pelisse does not reunite and is bacterial if the ideal is bacterial. sent2: that the pelisse does not reunite but it is not non-bacterial does not hold if the ideal is non-bacterial. sent3: if the ideal is non-bacterial the fact that the pocketcomb does not outstare gitana but it piddles drogue is false. sent4: the pelisse does not reunite and is bacterial if the pocketcomb does speculate. sent5: if the ideal is bacterial then that the fact that the pelisse reunites and is bacterial is not right is correct. sent6: that the pocketcomb does not speculate is right if the fact that it does not outstare gitana and it piddles drogue is false. sent7: the pelisse does not piddle drogue but it is bacterial.
void -> assump1: Let's assume that the ideal is not bacterial.; sent3 & assump1 -> int1: the fact that the pocketcomb does not outstare gitana but it does piddle drogue does not hold.; int1 & sent6 -> int2: the pocketcomb does not speculate.; void -> assump2: Let's assume that the pocketcomb speculates.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ideal is bacterial.; int4 & sent2 -> int5: that the pelisse does not reunite and is bacterial does not hold.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that if the pocketcomb speculates then the fact that the pelisse does not reunite and is bacterial is wrong is false. ; $context$ = sent1: the pelisse does not reunite and is bacterial if the ideal is bacterial. sent2: that the pelisse does not reunite but it is not non-bacterial does not hold if the ideal is non-bacterial. sent3: if the ideal is non-bacterial the fact that the pocketcomb does not outstare gitana but it piddles drogue is false. sent4: the pelisse does not reunite and is bacterial if the pocketcomb does speculate. sent5: if the ideal is bacterial then that the fact that the pelisse reunites and is bacterial is not right is correct. sent6: that the pocketcomb does not speculate is right if the fact that it does not outstare gitana and it piddles drogue is false. sent7: the pelisse does not piddle drogue but it is bacterial. ; $proof$ = 
void -> assump1: Let's assume that the ideal is not bacterial.; sent3 & assump1 -> int1: the fact that the pocketcomb does not outstare gitana but it does piddle drogue does not hold.; int1 & sent6 -> int2: the pocketcomb does not speculate.; void -> assump2: Let's assume that the pocketcomb speculates.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ideal is bacterial.; int4 & sent2 -> int5: that the pelisse does not reunite and is bacterial does not hold.; [assump2] & int5 -> hypothesis; __DISPROVED__