the horsetail underlies.
sent1: the fact that the Delilah edges pileup is not incorrect. sent2: the blende is a kind of a bittern if the horsetail underlies. sent3: the blende is not a kind of a bittern and it does not edge pileup. sent4: the blende is not a chord. sent5: the horsetail is not anserine. sent6: the midwife does underlie. sent7: the fact that the blende does underlie is true. sent8: the bitumastic is not a bittern. sent9: the blende is anserine.
void -> assump1: Let's assume that the horsetail underlies.; sent2 & assump1 -> int1: the blende is a kind of a bittern.; sent3 -> int2: the blende is not a kind of a bittern.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the horsetail underlies. ; $context$ = sent1: the fact that the Delilah edges pileup is not incorrect. sent2: the blende is a kind of a bittern if the horsetail underlies. sent3: the blende is not a kind of a bittern and it does not edge pileup. sent4: the blende is not a chord. sent5: the horsetail is not anserine. sent6: the midwife does underlie. sent7: the fact that the blende does underlie is true. sent8: the bitumastic is not a bittern. sent9: the blende is anserine. ; $proof$ = 
void -> assump1: Let's assume that the horsetail underlies.; sent2 & assump1 -> int1: the blende is a kind of a bittern.; sent3 -> int2: the blende is not a kind of a bittern.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__