the wallboard does not overprint lari.
sent1: if something is not a kind of a Hammerstein it overprints lari and it is a defensibility. sent2: if the wallboard is a kind of a defensibility that does overprint lari the fact that the audiovisual is not a Hammerstein is correct. sent3: the audiovisual is both ascosporic and a Hammerstein. sent4: the audiovisual is ascosporic. sent5: the wallboard is a defensibility.
void -> assump1: Let's assume that the wallboard overprints lari.; sent5 & assump1 -> int1: the wallboard is a defensibility and it overprints lari.; int1 & sent2 -> int2: the audiovisual is not a Hammerstein.; sent3 -> int3: the audiovisual is a kind of a Hammerstein.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the wallboard overprints lari.
sent1 -> int5: if the wallboard is not a kind of a Hammerstein then it overprints lari and is a defensibility.;
$hypothesis$ = the wallboard does not overprint lari. ; $context$ = sent1: if something is not a kind of a Hammerstein it overprints lari and it is a defensibility. sent2: if the wallboard is a kind of a defensibility that does overprint lari the fact that the audiovisual is not a Hammerstein is correct. sent3: the audiovisual is both ascosporic and a Hammerstein. sent4: the audiovisual is ascosporic. sent5: the wallboard is a defensibility. ; $proof$ = 
void -> assump1: Let's assume that the wallboard overprints lari.; sent5 & assump1 -> int1: the wallboard is a defensibility and it overprints lari.; int1 & sent2 -> int2: the audiovisual is not a Hammerstein.; sent3 -> int3: the audiovisual is a kind of a Hammerstein.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__