the fact that the muttonfish is both not a Omani and not a Loestrin is incorrect.
sent1: the greenhood does not dive Phellodendron and is a leasehold. sent2: if a settee is not a Parisienne then it is not Omani. sent3: the hedonist is not edible if the chimpanzee is influential. sent4: something that does not halve exuberance is not cathectic and does not foxhunt. sent5: there exists something such that the fact that it is a settee and not a Parisienne does not hold. sent6: the greenhood does halve exuberance if it does not dive Phellodendron and is a kind of a leasehold. sent7: there exists something such that the fact that it is not a settee and it is a Parisienne is incorrect. sent8: something is not Omani if it is not a kind of a settee and it is not a Parisienne. sent9: the muttonfish is not a kind of a Loestrin if that the hedonist is not edible is correct. sent10: the fact that the chimpanzee is influential is correct. sent11: if the greenhood is not Omani then the overlap does not halve exuberance. sent12: that the muttonfish does not dive Phellodendron and it is not a settee is not right. sent13: the greenhood does not halve exuberance if there is something such that that it is not a kind of a settee and is not a Parisienne does not hold. sent14: something is not a kind of a Omani if the fact that it is a Loestrin that is not edible is correct. sent15: if something that is not a settee is a Parisienne then it is not a Omani.
void -> assump1: Let's assume that that the muttonfish is not a settee and not a Parisienne is wrong.; assump1 -> int1: there is something such that the fact that it is not a kind of a settee and is not a kind of a Parisienne is wrong.; int1 & sent13 -> int2: the greenhood does not halve exuberance.; sent6 & sent1 -> int3: the greenhood does halve exuberance.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the muttonfish is not a settee and it is not a Parisienne.; sent8 -> int6: the muttonfish is not Omani if it is not a settee and not a Parisienne.; int5 & int6 -> int7: the muttonfish is not a Omani.; sent3 & sent10 -> int8: the hedonist is not edible.; sent9 & int8 -> int9: the muttonfish is not a Loestrin.; int7 & int9 -> hypothesis;
the overlap is not cathectic and it is not a foxhunt.
sent4 -> int10: the overlap is a kind of non-cathectic thing that is not a foxhunt if it does not halve exuberance.; sent14 -> int11: the fact that the greenhood is a kind of a Omani is incorrect if it is a Loestrin and it is not edible.;
$hypothesis$ = the fact that the muttonfish is both not a Omani and not a Loestrin is incorrect. ; $context$ = sent1: the greenhood does not dive Phellodendron and is a leasehold. sent2: if a settee is not a Parisienne then it is not Omani. sent3: the hedonist is not edible if the chimpanzee is influential. sent4: something that does not halve exuberance is not cathectic and does not foxhunt. sent5: there exists something such that the fact that it is a settee and not a Parisienne does not hold. sent6: the greenhood does halve exuberance if it does not dive Phellodendron and is a kind of a leasehold. sent7: there exists something such that the fact that it is not a settee and it is a Parisienne is incorrect. sent8: something is not Omani if it is not a kind of a settee and it is not a Parisienne. sent9: the muttonfish is not a kind of a Loestrin if that the hedonist is not edible is correct. sent10: the fact that the chimpanzee is influential is correct. sent11: if the greenhood is not Omani then the overlap does not halve exuberance. sent12: that the muttonfish does not dive Phellodendron and it is not a settee is not right. sent13: the greenhood does not halve exuberance if there is something such that that it is not a kind of a settee and is not a Parisienne does not hold. sent14: something is not a kind of a Omani if the fact that it is a Loestrin that is not edible is correct. sent15: if something that is not a settee is a Parisienne then it is not a Omani. ; $proof$ = 
void -> assump1: Let's assume that that the muttonfish is not a settee and not a Parisienne is wrong.; assump1 -> int1: there is something such that the fact that it is not a kind of a settee and is not a kind of a Parisienne is wrong.; int1 & sent13 -> int2: the greenhood does not halve exuberance.; sent6 & sent1 -> int3: the greenhood does halve exuberance.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the muttonfish is not a settee and it is not a Parisienne.; sent8 -> int6: the muttonfish is not Omani if it is not a settee and not a Parisienne.; int5 & int6 -> int7: the muttonfish is not a Omani.; sent3 & sent10 -> int8: the hedonist is not edible.; sent9 & int8 -> int9: the muttonfish is not a Loestrin.; int7 & int9 -> hypothesis; __DISPROVED__