the fact that the landline is rh-negative and/or it is a filthiness is wrong.
sent1: the landline is not nosohusial if that the Pathan is a self-denial and/or non-vicinal does not hold. sent2: that the landline is not nosohusial hold if that either the Pathan is vicinal or it is a kind of a self-denial or both does not hold. sent3: the Pathan is not nosohusial. sent4: that something is vicinal and/or it is a self-denial is not true if it is not a snowman. sent5: the landline is a filthiness if it is nosohusial and it is not a kind of a self-denial. sent6: there exists nothing that is both a self-denial and vicinal. sent7: something is not a snowman if the fact that it is an olive and it does not jockey cyber-terrorism is false. sent8: something is vicinal if it is a filthiness and it is not nosohusial. sent9: the eponymy is nosohusial. sent10: if that something is a self-denial and it is vicinal is not correct the fact that it is not vicinal is correct. sent11: the popgun is not vicinal. sent12: if the landline is not nosohusial then that it is rh-negative and/or it is a filthiness is not correct. sent13: if something is albinal that it is a kind of an olive that does not jockey cyber-terrorism is false. sent14: the landline is rh-negative and/or it is a filthiness if the Pathan is not a filthiness.
void -> assump1: Let's assume that the Pathan is a kind of a filthiness.; assump1 & sent3 -> int1: the Pathan is a filthiness but it is not nosohusial.; sent8 -> int2: if the Pathan is a filthiness and is not nosohusial then it is vicinal.; int1 & int2 -> int3: the fact that the Pathan is vicinal is not incorrect.; sent10 -> int4: if the fact that the Pathan is a self-denial and is vicinal is not correct it is not vicinal.; sent6 -> int5: that the Pathan is a kind of a self-denial that is vicinal is not right.; int4 & int5 -> int6: the Pathan is not vicinal.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Pathan is not a kind of a filthiness.; int8 & sent14 -> hypothesis;
the fact that the landline is rh-negative and/or it is a filthiness is not correct.
sent4 -> int9: that either the Pathan is vicinal or it is a self-denial or both is false if it is not a kind of a snowman.; sent7 -> int10: if the fact that the Pathan is a kind of an olive that does not jockey cyber-terrorism is false it is not a snowman.; sent13 -> int11: the fact that the Pathan is an olive but it does not jockey cyber-terrorism is incorrect if that it is albinal is not incorrect.;
$hypothesis$ = the fact that the landline is rh-negative and/or it is a filthiness is wrong. ; $context$ = sent1: the landline is not nosohusial if that the Pathan is a self-denial and/or non-vicinal does not hold. sent2: that the landline is not nosohusial hold if that either the Pathan is vicinal or it is a kind of a self-denial or both does not hold. sent3: the Pathan is not nosohusial. sent4: that something is vicinal and/or it is a self-denial is not true if it is not a snowman. sent5: the landline is a filthiness if it is nosohusial and it is not a kind of a self-denial. sent6: there exists nothing that is both a self-denial and vicinal. sent7: something is not a snowman if the fact that it is an olive and it does not jockey cyber-terrorism is false. sent8: something is vicinal if it is a filthiness and it is not nosohusial. sent9: the eponymy is nosohusial. sent10: if that something is a self-denial and it is vicinal is not correct the fact that it is not vicinal is correct. sent11: the popgun is not vicinal. sent12: if the landline is not nosohusial then that it is rh-negative and/or it is a filthiness is not correct. sent13: if something is albinal that it is a kind of an olive that does not jockey cyber-terrorism is false. sent14: the landline is rh-negative and/or it is a filthiness if the Pathan is not a filthiness. ; $proof$ = 
void -> assump1: Let's assume that the Pathan is a kind of a filthiness.; assump1 & sent3 -> int1: the Pathan is a filthiness but it is not nosohusial.; sent8 -> int2: if the Pathan is a filthiness and is not nosohusial then it is vicinal.; int1 & int2 -> int3: the fact that the Pathan is vicinal is not incorrect.; sent10 -> int4: if the fact that the Pathan is a self-denial and is vicinal is not correct it is not vicinal.; sent6 -> int5: that the Pathan is a kind of a self-denial that is vicinal is not right.; int4 & int5 -> int6: the Pathan is not vicinal.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Pathan is not a kind of a filthiness.; int8 & sent14 -> hypothesis; __DISPROVED__