the fact that if the avenue heals aliquant the victim is a Homer is not true.
sent1: if the victim is a monoplane the punk is a Homer. sent2: the victim does heal aliquant. sent3: the avenue is a kind of a monoplane. sent4: if the punk heals aliquant that the avenue is a monoplane is correct. sent5: the orphan is a kind of a monoplane. sent6: the victim is a Homer if the punk is a monoplane. sent7: the victim is a kind of a monoplane if the punk is a Homer. sent8: the punk is a monoplane if the avenue does heal aliquant. sent9: the decumary is a Homer. sent10: if the avenue is a kind of a Homer then the victim heals aliquant. sent11: if that the victim does not heal aliquant is false then the avenue is a Homer. sent12: the victim is a monoplane if the avenue heals aliquant. sent13: if the victim is a Homer the alcoholic is a monoplane. sent14: if the avenue is a monoplane the punk does heal aliquant.
void -> assump1: Let's assume that the fact that the avenue heals aliquant is right.; sent8 & assump1 -> int1: the punk is a monoplane.; sent6 & int1 -> int2: the victim is a Homer.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the avenue heals aliquant the victim is a Homer is not true. ; $context$ = sent1: if the victim is a monoplane the punk is a Homer. sent2: the victim does heal aliquant. sent3: the avenue is a kind of a monoplane. sent4: if the punk heals aliquant that the avenue is a monoplane is correct. sent5: the orphan is a kind of a monoplane. sent6: the victim is a Homer if the punk is a monoplane. sent7: the victim is a kind of a monoplane if the punk is a Homer. sent8: the punk is a monoplane if the avenue does heal aliquant. sent9: the decumary is a Homer. sent10: if the avenue is a kind of a Homer then the victim heals aliquant. sent11: if that the victim does not heal aliquant is false then the avenue is a Homer. sent12: the victim is a monoplane if the avenue heals aliquant. sent13: if the victim is a Homer the alcoholic is a monoplane. sent14: if the avenue is a monoplane the punk does heal aliquant. ; $proof$ = 
void -> assump1: Let's assume that the fact that the avenue heals aliquant is right.; sent8 & assump1 -> int1: the punk is a monoplane.; sent6 & int1 -> int2: the victim is a Homer.; [assump1] & int2 -> hypothesis; __DISPROVED__