the fact that the gnat is sugary if the antilepton is a beluga does not hold.
sent1: the gnat is a kind of a beluga if the antilepton is Afghani. sent2: something is sugary if it is Afghani. sent3: the antilepton is sugary if the gnat is a kind of a beluga. sent4: the antilepton is a postponement. sent5: the antilepton is incontinent. sent6: the fact that the gnat is Afghani is right if the antilepton is sugary. sent7: the sweetmeat is a beluga if that the antilepton is Afghani but it is not sugary does not hold. sent8: the gnat is a beluga if it is sugary. sent9: if the antilepton is a kind of a beluga the gnat is Afghani. sent10: the fact that the vulva is a beluga hold. sent11: if something does not lend and/or it is not a flock it is not a flock. sent12: the gnat is a beluga if the antilepton is sugary. sent13: if the antilepton is not a kind of a flock either it is a beluga or it is not non-sugary or both. sent14: the antilepton is Afghani if the gnat is sugary. sent15: the fact that something is Afghani and not sugary does not hold if it is not a flock. sent16: the antilepton is not a flock if the gnat is not a kind of a flock or it is not a ruminant or both. sent17: the shellac is Afghani. sent18: the guillotine is Afghani. sent19: the gravedigger is Afghani. sent20: if the gnat is Afghani it is a beluga. sent21: if something is an electromagnet then it is a postponement. sent22: the antilepton is not non-Afghani if the gnat is a beluga.
void -> assump1: Let's assume that the antilepton is a beluga.; sent9 & assump1 -> int1: the gnat is Afghani.; sent2 -> int2: the gnat is sugary if it is Afghani.; int1 & int2 -> int3: the gnat is sugary.; [assump1] & int3 -> hypothesis;
the sweetmeat is a kind of a beluga.
sent15 -> int4: that if the antilepton is not the flock then the fact that the antilepton is not non-Afghani and is not sugary is not right is correct.; sent11 -> int5: the gnat does not flock if it does not lend or is not a flock or both.;
$hypothesis$ = the fact that the gnat is sugary if the antilepton is a beluga does not hold. ; $context$ = sent1: the gnat is a kind of a beluga if the antilepton is Afghani. sent2: something is sugary if it is Afghani. sent3: the antilepton is sugary if the gnat is a kind of a beluga. sent4: the antilepton is a postponement. sent5: the antilepton is incontinent. sent6: the fact that the gnat is Afghani is right if the antilepton is sugary. sent7: the sweetmeat is a beluga if that the antilepton is Afghani but it is not sugary does not hold. sent8: the gnat is a beluga if it is sugary. sent9: if the antilepton is a kind of a beluga the gnat is Afghani. sent10: the fact that the vulva is a beluga hold. sent11: if something does not lend and/or it is not a flock it is not a flock. sent12: the gnat is a beluga if the antilepton is sugary. sent13: if the antilepton is not a kind of a flock either it is a beluga or it is not non-sugary or both. sent14: the antilepton is Afghani if the gnat is sugary. sent15: the fact that something is Afghani and not sugary does not hold if it is not a flock. sent16: the antilepton is not a flock if the gnat is not a kind of a flock or it is not a ruminant or both. sent17: the shellac is Afghani. sent18: the guillotine is Afghani. sent19: the gravedigger is Afghani. sent20: if the gnat is Afghani it is a beluga. sent21: if something is an electromagnet then it is a postponement. sent22: the antilepton is not non-Afghani if the gnat is a beluga. ; $proof$ = 
void -> assump1: Let's assume that the antilepton is a beluga.; sent9 & assump1 -> int1: the gnat is Afghani.; sent2 -> int2: the gnat is sugary if it is Afghani.; int1 & int2 -> int3: the gnat is sugary.; [assump1] & int3 -> hypothesis; __DISPROVED__