the fact that if the fact that the surffish is a purulence is correct then the missus is a kind of a Greenwich does not hold.
sent1: the missus is a purulence if the fact that the chartreuse is a kind of a Greenwich hold. sent2: the missus is a Gainesville if the chartreuse is a kind of a Greenwich. sent3: the wheel is a kind of a Greenwich. sent4: if the chartreuse is a purulence then the surffish is a Greenwich. sent5: that the chartreuse is a kind of a Greenwich is not incorrect. sent6: the surffish is a kind of a purulence if the chartreuse is a Greenwich. sent7: if the surffish is a Greenwich that the missus is a purulence is correct. sent8: the missus is a kind of a Greenwich if the chartreuse is a kind of a Gainesville. sent9: the surffish is a kind of a Greenwich. sent10: the inkpot is a kind of a Greenwich. sent11: the surffish is a Greenwich if the missus is a purulence. sent12: the fact that the missus is a Gainesville is not false. sent13: the chartreuse is a Gainesville if that the surffish is a purulence hold. sent14: the chartreuse is a Greenwich if the missus is a Gainesville. sent15: the chartreuse is a purulence if the surffish is a Gainesville. sent16: the chartreuse is a Greenwich if the surffish is a Gainesville.
void -> assump1: Let's assume that the surffish is a purulence.; sent13 & assump1 -> int1: the chartreuse is a Gainesville.; sent8 & int1 -> int2: the missus is a Greenwich.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the fact that the surffish is a purulence is correct then the missus is a kind of a Greenwich does not hold. ; $context$ = sent1: the missus is a purulence if the fact that the chartreuse is a kind of a Greenwich hold. sent2: the missus is a Gainesville if the chartreuse is a kind of a Greenwich. sent3: the wheel is a kind of a Greenwich. sent4: if the chartreuse is a purulence then the surffish is a Greenwich. sent5: that the chartreuse is a kind of a Greenwich is not incorrect. sent6: the surffish is a kind of a purulence if the chartreuse is a Greenwich. sent7: if the surffish is a Greenwich that the missus is a purulence is correct. sent8: the missus is a kind of a Greenwich if the chartreuse is a kind of a Gainesville. sent9: the surffish is a kind of a Greenwich. sent10: the inkpot is a kind of a Greenwich. sent11: the surffish is a Greenwich if the missus is a purulence. sent12: the fact that the missus is a Gainesville is not false. sent13: the chartreuse is a Gainesville if that the surffish is a purulence hold. sent14: the chartreuse is a Greenwich if the missus is a Gainesville. sent15: the chartreuse is a purulence if the surffish is a Gainesville. sent16: the chartreuse is a Greenwich if the surffish is a Gainesville. ; $proof$ = 
void -> assump1: Let's assume that the surffish is a purulence.; sent13 & assump1 -> int1: the chartreuse is a Gainesville.; sent8 & int1 -> int2: the missus is a Greenwich.; [assump1] & int2 -> hypothesis; __DISPROVED__