the fact that the orpiment is a cigarfish or is an antagonist or both is not true.
sent1: the kidney is not a kind of a Salmonidae if the orpiment is a libretto. sent2: if that the orpiment is not a altostratus and it is not upland does not hold then it is a cigarfish. sent3: the kidney is a perennial if that the microphotometer is not a perennial and does not flame nipple is false. sent4: if something is not a Salmonidae then the fact that it is a cigarfish and/or it is an antagonist is false. sent5: if the orpiment is not a altostratus and is not upland it is a libretto. sent6: there exists something such that the fact that it is unmusical and a Edwards does not hold. sent7: the suspect is not unmusical if there is something such that the fact that it is not unmusical and it is a kind of a Edwards is not right. sent8: the kidney is a kind of a Salmonidae. sent9: if something is perennial then that it is non-hemodynamic thing that is not a libretto is not right. sent10: the dhal does build stein and/or is dimensional. sent11: if something is an antagonist it is a kind of a Salmonidae and it is not a kind of a cigarfish.
void -> assump1: Let's assume that the orpiment is both not a altostratus and not upland.; sent5 & assump1 -> int1: the orpiment is a kind of a libretto.; int1 & sent1 -> int2: the kidney is not a Salmonidae.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the orpiment is not a altostratus and it is non-upland is not correct.; int4 & sent2 -> int5: the orpiment is a cigarfish.; int5 -> hypothesis;
the fact that the kidney is not a libretto hold.
sent11 -> int6: if the microphotometer is an antagonist then it is a Salmonidae and not a cigarfish.;
$hypothesis$ = the fact that the orpiment is a cigarfish or is an antagonist or both is not true. ; $context$ = sent1: the kidney is not a kind of a Salmonidae if the orpiment is a libretto. sent2: if that the orpiment is not a altostratus and it is not upland does not hold then it is a cigarfish. sent3: the kidney is a perennial if that the microphotometer is not a perennial and does not flame nipple is false. sent4: if something is not a Salmonidae then the fact that it is a cigarfish and/or it is an antagonist is false. sent5: if the orpiment is not a altostratus and is not upland it is a libretto. sent6: there exists something such that the fact that it is unmusical and a Edwards does not hold. sent7: the suspect is not unmusical if there is something such that the fact that it is not unmusical and it is a kind of a Edwards is not right. sent8: the kidney is a kind of a Salmonidae. sent9: if something is perennial then that it is non-hemodynamic thing that is not a libretto is not right. sent10: the dhal does build stein and/or is dimensional. sent11: if something is an antagonist it is a kind of a Salmonidae and it is not a kind of a cigarfish. ; $proof$ = 
void -> assump1: Let's assume that the orpiment is both not a altostratus and not upland.; sent5 & assump1 -> int1: the orpiment is a kind of a libretto.; int1 & sent1 -> int2: the kidney is not a Salmonidae.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the orpiment is not a altostratus and it is non-upland is not correct.; int4 & sent2 -> int5: the orpiment is a cigarfish.; int5 -> hypothesis; __DISPROVED__