that there exists something such that either it is a kind of a containment or it does clout Wolfe or both is false.
sent1: the Francophile is a fatigues. sent2: the Francophile is not a kind of a coinage. sent3: if the berkelium is not a democracy then it is not a kind of a coinage or is a fatigues or both. sent4: the agglutination is a distressed if it is a begonia. sent5: the Francophile is both not a coinage and a distressed if the agglutination does distressed. sent6: if the fact that the motile is not political but it is a maltster is incorrect the agglutination is a kind of a begonia. sent7: that the motile is not political but it is a maltster is incorrect if the saltire does not clout Wolfe. sent8: if the Francophile is a kind of a fatigues then that it is not a coinage and it is a distressed is wrong. sent9: if something is a containment the fact that it is a kind of a begonia that does not clout Wolfe does not hold.
void -> assump1: Let's assume that the saltire does not clout Wolfe.; sent7 & assump1 -> int1: that the motile is not political but it is a maltster is not right.; int1 & sent6 -> int2: the agglutination is a begonia.; int2 & sent4 -> int3: the agglutination is a distressed.; int3 & sent5 -> int4: the Francophile is not a kind of a coinage and is a distressed.; sent8 & sent1 -> int5: the fact that the Francophile is not a kind of a coinage but it does distress is not correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the saltire does clout Wolfe.; int7 -> int8: the saltire is a containment and/or it clouts Wolfe.; int8 -> hypothesis;
the berkelium is a distressed.
sent9 -> int9: that the berkelium is a begonia and does not clout Wolfe is incorrect if it is a containment.;
$hypothesis$ = that there exists something such that either it is a kind of a containment or it does clout Wolfe or both is false. ; $context$ = sent1: the Francophile is a fatigues. sent2: the Francophile is not a kind of a coinage. sent3: if the berkelium is not a democracy then it is not a kind of a coinage or is a fatigues or both. sent4: the agglutination is a distressed if it is a begonia. sent5: the Francophile is both not a coinage and a distressed if the agglutination does distressed. sent6: if the fact that the motile is not political but it is a maltster is incorrect the agglutination is a kind of a begonia. sent7: that the motile is not political but it is a maltster is incorrect if the saltire does not clout Wolfe. sent8: if the Francophile is a kind of a fatigues then that it is not a coinage and it is a distressed is wrong. sent9: if something is a containment the fact that it is a kind of a begonia that does not clout Wolfe does not hold. ; $proof$ = 
void -> assump1: Let's assume that the saltire does not clout Wolfe.; sent7 & assump1 -> int1: that the motile is not political but it is a maltster is not right.; int1 & sent6 -> int2: the agglutination is a begonia.; int2 & sent4 -> int3: the agglutination is a distressed.; int3 & sent5 -> int4: the Francophile is not a kind of a coinage and is a distressed.; sent8 & sent1 -> int5: the fact that the Francophile is not a kind of a coinage but it does distress is not correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the saltire does clout Wolfe.; int7 -> int8: the saltire is a containment and/or it clouts Wolfe.; int8 -> hypothesis; __DISPROVED__