the fact that the luminescence is a sailcloth hold.
sent1: the luminescence is cathodic. sent2: something is a sailcloth that is not non-cathodic if it does not entrench counterdemonstrator. sent3: something does not jazz chef and it does not jazz bioscope if it does not obligate. sent4: that the luminescence is both not a hit and a bait does not hold if it is a sailcloth. sent5: the luminescence is not a hit and is a bait if it is cathodic.
void -> assump1: Let's assume that the luminescence is a sailcloth.; sent4 & assump1 -> int1: the fact that the luminescence is not a hit but it is a bait is not right.; sent5 & sent1 -> int2: the luminescence does not hit but it is a bait.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the luminescence is a sailcloth.
sent2 -> int4: the luminescence is a kind of a sailcloth and it is cathodic if it does not entrench counterdemonstrator.; sent3 -> int5: if the sildenafil does not obligate it does not jazz chef and it does not jazz bioscope.;
$hypothesis$ = the fact that the luminescence is a sailcloth hold. ; $context$ = sent1: the luminescence is cathodic. sent2: something is a sailcloth that is not non-cathodic if it does not entrench counterdemonstrator. sent3: something does not jazz chef and it does not jazz bioscope if it does not obligate. sent4: that the luminescence is both not a hit and a bait does not hold if it is a sailcloth. sent5: the luminescence is not a hit and is a bait if it is cathodic. ; $proof$ = 
void -> assump1: Let's assume that the luminescence is a sailcloth.; sent4 & assump1 -> int1: the fact that the luminescence is not a hit but it is a bait is not right.; sent5 & sent1 -> int2: the luminescence does not hit but it is a bait.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__