the fact that either the greenbottle is not a subspace or it is not a Alcaeus or both if the guanabenz is philatelic does not hold.
sent1: the greenbottle is a subspace or it is not a Alcaeus or both. sent2: if that the greenbottle is not Hebridean and/or does not fit guanabenz does not hold then the guanabenz is not philatelic. sent3: that something is not Hebridean and/or it does not fit guanabenz is not true if it is a subspace. sent4: either the guanabenz is philatelic or it does not fit guanabenz or both if the greenbottle is a subspace. sent5: if that the guanabenz does not fit guanabenz and/or is not a kind of a subspace does not hold then the fact that the greenbottle is not philatelic is correct.
void -> assump1: Let's assume that the guanabenz is philatelic.; sent3 -> int1: that the greenbottle is not Hebridean or it does not fit guanabenz or both does not hold if it is a subspace.; void -> assump2: Let's assume that the greenbottle is a kind of a subspace.; int1 & assump2 -> int2: the fact that the greenbottle is not Hebridean and/or does not fit guanabenz does not hold.; sent2 & int2 -> int3: the guanabenz is not philatelic.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the greenbottle is not a subspace.; int5 -> int6: the greenbottle either is not a subspace or is not a kind of a Alcaeus or both.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that either the greenbottle is not a subspace or it is not a Alcaeus or both if the guanabenz is philatelic does not hold. ; $context$ = sent1: the greenbottle is a subspace or it is not a Alcaeus or both. sent2: if that the greenbottle is not Hebridean and/or does not fit guanabenz does not hold then the guanabenz is not philatelic. sent3: that something is not Hebridean and/or it does not fit guanabenz is not true if it is a subspace. sent4: either the guanabenz is philatelic or it does not fit guanabenz or both if the greenbottle is a subspace. sent5: if that the guanabenz does not fit guanabenz and/or is not a kind of a subspace does not hold then the fact that the greenbottle is not philatelic is correct. ; $proof$ = 
void -> assump1: Let's assume that the guanabenz is philatelic.; sent3 -> int1: that the greenbottle is not Hebridean or it does not fit guanabenz or both does not hold if it is a subspace.; void -> assump2: Let's assume that the greenbottle is a kind of a subspace.; int1 & assump2 -> int2: the fact that the greenbottle is not Hebridean and/or does not fit guanabenz does not hold.; sent2 & int2 -> int3: the guanabenz is not philatelic.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the greenbottle is not a subspace.; int5 -> int6: the greenbottle either is not a subspace or is not a kind of a Alcaeus or both.; [assump1] & int6 -> hypothesis; __DISPROVED__