the fact that there exists something such that that it is infectious and it is not a kind of a quantifiability is not correct is wrong.
sent1: there exists something such that the fact that it is infectious thing that is a quantifiability is not right. sent2: the microphone is infectious. sent3: the hub-and-spoke is not a confit if something that is infectious is not a quantifiability. sent4: that the spokeshave is not infectious is right if something that is a confit is not a contingent. sent5: the microphone is infectious but it is not a kind of a confit. sent6: the spokeshave is a contingent. sent7: the hub-and-spoke is a confit if the spokeshave is a contingent. sent8: the masseur is a orphrey but it is not a contingent. sent9: there is something such that it is not a kind of a quantifiability.
void -> assump1: Let's assume that the microphone is infectious and not a quantifiability.; assump1 -> int1: there exists something such that it is a kind of infectious thing that is not a quantifiability.; int1 & sent3 -> int2: the hub-and-spoke is not a confit.; sent7 & sent6 -> int3: the hub-and-spoke is a kind of a confit.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the microphone is infectious and is not a quantifiability is false.; int5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that that it is infectious and it is not a kind of a quantifiability is not correct is wrong. ; $context$ = sent1: there exists something such that the fact that it is infectious thing that is a quantifiability is not right. sent2: the microphone is infectious. sent3: the hub-and-spoke is not a confit if something that is infectious is not a quantifiability. sent4: that the spokeshave is not infectious is right if something that is a confit is not a contingent. sent5: the microphone is infectious but it is not a kind of a confit. sent6: the spokeshave is a contingent. sent7: the hub-and-spoke is a confit if the spokeshave is a contingent. sent8: the masseur is a orphrey but it is not a contingent. sent9: there is something such that it is not a kind of a quantifiability. ; $proof$ = 
void -> assump1: Let's assume that the microphone is infectious and not a quantifiability.; assump1 -> int1: there exists something such that it is a kind of infectious thing that is not a quantifiability.; int1 & sent3 -> int2: the hub-and-spoke is not a confit.; sent7 & sent6 -> int3: the hub-and-spoke is a kind of a confit.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the microphone is infectious and is not a quantifiability is false.; int5 -> hypothesis; __DISPROVED__