the propositus is unprofitable.
sent1: there exists something such that that it is a Pediculidae and is not non-cretaceous does not hold. sent2: the Chevalier is a Australopithecus. sent3: the Palatine is a Gabonese and/or it is a Periophthalmus. sent4: if the fact that something is a kind of a Australopithecus hold then it is unprofitable. sent5: that the Chevalier is a kind of a Periophthalmus is not incorrect. sent6: the Girondist is a kind of a Gabonese. sent7: if the fact that the propositus is not a mystic and is a brodiaea is not correct then it is not unprofitable. sent8: that the Palatine is not a Gabonese or it is a kind of a Periophthalmus or both does not hold. sent9: that the propositus is not a mystic but a brodiaea is incorrect if the Chevalier is not a kind of a mystic. sent10: if the propositus is a mystic it is not unprofitable. sent11: if that the grissino is both not a Periophthalmus and not a brodiaea is incorrect then the fact that the cabstand is not a Gabonese is right. sent12: the Lysol is not a kind of a Australopithecus or it is exterior or both. sent13: if the Chevalier is a Australopithecus then it trenches. sent14: that the grissino is not a Periophthalmus and it is not a brodiaea does not hold if that the vomitory is not a Pediculidae is correct. sent15: that the Palatine is not Gabonese is right if the Chevalier does trench and is a mystic. sent16: the Palatine is a kind of a Australopithecus that is a kind of a mystic if the cabstand is not a Gabonese.
sent13 & sent2 -> int1: the Chevalier does trench.; void -> assump1: Let's assume that the Chevalier is a mystic.; int1 & assump1 -> int2: the Chevalier does trench and it is a mystic.; int2 & sent15 -> int3: the Palatine is not a Gabonese.; int3 -> int4: the Palatine is not a Gabonese and/or it is a Periophthalmus.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Chevalier is not a kind of a mystic.; int6 & sent9 -> int7: the fact that the propositus is not a mystic but it is a kind of a brodiaea is incorrect.; int7 & sent7 -> hypothesis;
the propositus is unprofitable.
sent4 -> int8: the propositus is unprofitable if it is a Australopithecus.;
$hypothesis$ = the propositus is unprofitable. ; $context$ = sent1: there exists something such that that it is a Pediculidae and is not non-cretaceous does not hold. sent2: the Chevalier is a Australopithecus. sent3: the Palatine is a Gabonese and/or it is a Periophthalmus. sent4: if the fact that something is a kind of a Australopithecus hold then it is unprofitable. sent5: that the Chevalier is a kind of a Periophthalmus is not incorrect. sent6: the Girondist is a kind of a Gabonese. sent7: if the fact that the propositus is not a mystic and is a brodiaea is not correct then it is not unprofitable. sent8: that the Palatine is not a Gabonese or it is a kind of a Periophthalmus or both does not hold. sent9: that the propositus is not a mystic but a brodiaea is incorrect if the Chevalier is not a kind of a mystic. sent10: if the propositus is a mystic it is not unprofitable. sent11: if that the grissino is both not a Periophthalmus and not a brodiaea is incorrect then the fact that the cabstand is not a Gabonese is right. sent12: the Lysol is not a kind of a Australopithecus or it is exterior or both. sent13: if the Chevalier is a Australopithecus then it trenches. sent14: that the grissino is not a Periophthalmus and it is not a brodiaea does not hold if that the vomitory is not a Pediculidae is correct. sent15: that the Palatine is not Gabonese is right if the Chevalier does trench and is a mystic. sent16: the Palatine is a kind of a Australopithecus that is a kind of a mystic if the cabstand is not a Gabonese. ; $proof$ = 
sent13 & sent2 -> int1: the Chevalier does trench.; void -> assump1: Let's assume that the Chevalier is a mystic.; int1 & assump1 -> int2: the Chevalier does trench and it is a mystic.; int2 & sent15 -> int3: the Palatine is not a Gabonese.; int3 -> int4: the Palatine is not a Gabonese and/or it is a Periophthalmus.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Chevalier is not a kind of a mystic.; int6 & sent9 -> int7: the fact that the propositus is not a mystic but it is a kind of a brodiaea is incorrect.; int7 & sent7 -> hypothesis; __DISPROVED__