the fact that the fact that the psychophysicist does not Charleston is not false if the voussoir patrols voussoir is wrong.
sent1: the psychophysicist is a Charleston. sent2: the psychophysicist is not a distillery and acquaints knob if the bayberry patrols swabbing. sent3: the psychophysicist is not a distillery. sent4: the psychophysicist does Charleston if it is not a distillery and it acquaints knob. sent5: if the voussoir patrols voussoir the psychophysicist is a kind of a Charleston. sent6: the psychophysicist is not a kind of a Charleston if it is a distillery that acquaints knob. sent7: the psychophysicist is not a distillery if the bayberry does patrol swabbing. sent8: if the psychophysicist is not a distillery and does acquaint knob it is not a kind of a Charleston. sent9: if the psychophysicist is Coleridgian the voussoir is a kind of a distillery. sent10: if the voussoir is Coleridgian the bayberry patrols swabbing. sent11: if the voussoir patrols voussoir it is not non-Coleridgian. sent12: the fact that the voussoir Charlestons is not incorrect.
void -> assump1: Let's assume that the voussoir does patrol voussoir.; sent11 & assump1 -> int1: the voussoir is not non-Coleridgian.; int1 & sent10 -> int2: the bayberry patrols swabbing.; int2 & sent2 -> int3: the psychophysicist is not a kind of a distillery but it does acquaint knob.; int3 & sent8 -> int4: the psychophysicist is not a kind of a Charleston.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the fact that the psychophysicist does not Charleston is not false if the voussoir patrols voussoir is wrong. ; $context$ = sent1: the psychophysicist is a Charleston. sent2: the psychophysicist is not a distillery and acquaints knob if the bayberry patrols swabbing. sent3: the psychophysicist is not a distillery. sent4: the psychophysicist does Charleston if it is not a distillery and it acquaints knob. sent5: if the voussoir patrols voussoir the psychophysicist is a kind of a Charleston. sent6: the psychophysicist is not a kind of a Charleston if it is a distillery that acquaints knob. sent7: the psychophysicist is not a distillery if the bayberry does patrol swabbing. sent8: if the psychophysicist is not a distillery and does acquaint knob it is not a kind of a Charleston. sent9: if the psychophysicist is Coleridgian the voussoir is a kind of a distillery. sent10: if the voussoir is Coleridgian the bayberry patrols swabbing. sent11: if the voussoir patrols voussoir it is not non-Coleridgian. sent12: the fact that the voussoir Charlestons is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the voussoir does patrol voussoir.; sent11 & assump1 -> int1: the voussoir is not non-Coleridgian.; int1 & sent10 -> int2: the bayberry patrols swabbing.; int2 & sent2 -> int3: the psychophysicist is not a kind of a distillery but it does acquaint knob.; int3 & sent8 -> int4: the psychophysicist is not a kind of a Charleston.; [assump1] & int4 -> hypothesis; __DISPROVED__