the fact that the window is non-Sarawakian and it is not a kind of a campaign if the swing is a drumlin is wrong.
sent1: if something is not protozoal then it is not a drumlin. sent2: the mouthbreeder is incontinent if there is something such that the fact that it is not a kind of a Sarawakian and is not a campaign is not correct. sent3: the fact that the window is not a kind of a ploce and it does not campaign is not true. sent4: the window is not Sarawakian but it is a campaign. sent5: if there exists something such that it is both non-Sarawakian and non-protozoal the swing is a ploce. sent6: the mouthbreeder is incontinent if there is something such that that it is not a kind of a Sarawakian and it is a campaign is false. sent7: if the mouthbreeder is a kind of a ploce or it is incontinent or both then the swing is not protozoal. sent8: the window either is cherty or is protozoal or both.
void -> assump1: Let's assume that the fact that the window is not a Sarawakian and is not a campaign does not hold.; assump1 -> int1: there is something such that that it is not a kind of a Sarawakian and does not campaign does not hold.; int1 & sent2 -> int2: the mouthbreeder is incontinent.; int2 -> int3: the mouthbreeder is a ploce and/or incontinent.; int3 & sent7 -> int4: the swing is not protozoal.; sent1 -> int5: if the swing is not protozoal it is not a kind of a drumlin.; int4 & int5 -> int6: the swing is not a kind of a drumlin.; void -> assump2: Let's assume that the swing is a kind of a drumlin.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the window is non-Sarawakian thing that is not a campaign.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the fact that the window is non-Sarawakian and it is not a kind of a campaign if the swing is a drumlin is wrong. ; $context$ = sent1: if something is not protozoal then it is not a drumlin. sent2: the mouthbreeder is incontinent if there is something such that the fact that it is not a kind of a Sarawakian and is not a campaign is not correct. sent3: the fact that the window is not a kind of a ploce and it does not campaign is not true. sent4: the window is not Sarawakian but it is a campaign. sent5: if there exists something such that it is both non-Sarawakian and non-protozoal the swing is a ploce. sent6: the mouthbreeder is incontinent if there is something such that that it is not a kind of a Sarawakian and it is a campaign is false. sent7: if the mouthbreeder is a kind of a ploce or it is incontinent or both then the swing is not protozoal. sent8: the window either is cherty or is protozoal or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that the window is not a Sarawakian and is not a campaign does not hold.; assump1 -> int1: there is something such that that it is not a kind of a Sarawakian and does not campaign does not hold.; int1 & sent2 -> int2: the mouthbreeder is incontinent.; int2 -> int3: the mouthbreeder is a ploce and/or incontinent.; int3 & sent7 -> int4: the swing is not protozoal.; sent1 -> int5: if the swing is not protozoal it is not a kind of a drumlin.; int4 & int5 -> int6: the swing is not a kind of a drumlin.; void -> assump2: Let's assume that the swing is a kind of a drumlin.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the window is non-Sarawakian thing that is not a campaign.; [assump2] & int8 -> hypothesis; __DISPROVED__