that the tip is not avifaunal if the sender is a kind of a parade is wrong.
sent1: the tip is a parade. sent2: the stopover is acidotic. sent3: there is something such that it does parade. sent4: if the stopover is acidotic the fact that the sender is Lebanese is not incorrect. sent5: if there exists something such that it does parade and is a Lebanese then the tip is not avifaunal.
void -> assump1: Let's assume that the sender parades.; sent4 & sent2 -> int1: that the sender is Lebanese is correct.; assump1 & int1 -> int2: the sender is a parade and a Lebanese.; int2 -> int3: there is something such that it does parade and is a Lebanese.; int3 & sent5 -> int4: the tip is non-avifaunal.; [assump1] & int4 -> hypothesis;
something is inefficient and is a hexagon.
$hypothesis$ = that the tip is not avifaunal if the sender is a kind of a parade is wrong. ; $context$ = sent1: the tip is a parade. sent2: the stopover is acidotic. sent3: there is something such that it does parade. sent4: if the stopover is acidotic the fact that the sender is Lebanese is not incorrect. sent5: if there exists something such that it does parade and is a Lebanese then the tip is not avifaunal. ; $proof$ = 
void -> assump1: Let's assume that the sender parades.; sent4 & sent2 -> int1: that the sender is Lebanese is correct.; assump1 & int1 -> int2: the sender is a parade and a Lebanese.; int2 -> int3: there is something such that it does parade and is a Lebanese.; int3 & sent5 -> int4: the tip is non-avifaunal.; [assump1] & int4 -> hypothesis; __DISPROVED__