the fact that the brainwave prevents that the Lusitanianness occurs is false.
sent1: the lengthwiseness does not occur and/or the gloss happens. sent2: if the glossing occurs and the brainwave happens then that the Lusitanianness does not occur hold. sent3: the Lusitanianness occurs. sent4: the non-Lusitanianness is prevented by that both the gloss and the brainwave occurs. sent5: the fact that the lengthwiseness does not occur and/or the gloss does not occur is false. sent6: the glossing happens and the lengthwiseness occurs if the brainwave does not occur. sent7: the lengthwiseness occurs or the gloss does not occur or both. sent8: the psycholinguisticness is prevented by the lengthwiseness. sent9: the Lusitanianness occurs if the brainwave happens. sent10: if the truthfulness happens that both the non-Lusitanianness and the nomination happens is wrong.
void -> assump1: Let's assume that the glossing does not occur.; assump1 -> int1: the lengthwiseness does not occur and/or the gloss does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the glossing happens.; void -> assump2: Let's assume that the brainwave happens.; int3 & assump2 -> int4: the gloss occurs and the brainwave happens.; sent2 & int4 -> int5: the Lusitanianness does not occur.; [assump2] & int5 -> hypothesis;
the psycholinguisticness does not occur.
$hypothesis$ = the fact that the brainwave prevents that the Lusitanianness occurs is false. ; $context$ = sent1: the lengthwiseness does not occur and/or the gloss happens. sent2: if the glossing occurs and the brainwave happens then that the Lusitanianness does not occur hold. sent3: the Lusitanianness occurs. sent4: the non-Lusitanianness is prevented by that both the gloss and the brainwave occurs. sent5: the fact that the lengthwiseness does not occur and/or the gloss does not occur is false. sent6: the glossing happens and the lengthwiseness occurs if the brainwave does not occur. sent7: the lengthwiseness occurs or the gloss does not occur or both. sent8: the psycholinguisticness is prevented by the lengthwiseness. sent9: the Lusitanianness occurs if the brainwave happens. sent10: if the truthfulness happens that both the non-Lusitanianness and the nomination happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the glossing does not occur.; assump1 -> int1: the lengthwiseness does not occur and/or the gloss does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the glossing happens.; void -> assump2: Let's assume that the brainwave happens.; int3 & assump2 -> int4: the gloss occurs and the brainwave happens.; sent2 & int4 -> int5: the Lusitanianness does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__