the cantaloup is a Patwin and is meretricious.
sent1: if the phaius is not a Indriidae it is meretricious and it is a kind of a Serkin. sent2: that the fact that the wonderberry is a kind of a corner that is not discourteous is not false is wrong if the phaius is not uncooperative. sent3: the hardtop is non-pantheist. sent4: the fact that the wonderberry is a corner that is not discourteous is not correct. sent5: that the fact that that the cantaloup is a kind of a Patwin and is meretricious is not correct hold if that the wonderberry is not a Patwin is correct is true. sent6: if the phaius is not uncooperative the fact that the wonderberry is not a corner and it is not discourteous is not right. sent7: the axerophthol is not a Patwin. sent8: if the wonderberry is not meretricious then that the cantaloup is both meretricious and a Patwin is wrong. sent9: the phaius is not uncooperative. sent10: the fact that something is not acropetal and it is not a endodontist does not hold if it is non-pantheist. sent11: the fact that the wonderberry is not meretricious and is a Patwin is wrong. sent12: if the phaius is meretricious the cantaloup is meretricious. sent13: the wonderberry does not corner and it is not discourteous if it is a Patwin. sent14: if there is something such that the fact that it is not acropetal and it is not a kind of a endodontist is incorrect then the wonderberry does not roof little. sent15: something is a Patwin and/or uncooperative if it does not roof little. sent16: if the phaius is not uncooperative the fact that the wonderberry is not a kind of a corner but it is discourteous is not right. sent17: if either something is a Patwin or it is uncooperative or both then the cantaloup is a Patwin.
void -> assump1: Let's assume that the wonderberry is a kind of a Patwin.; sent13 & assump1 -> int1: the wonderberry is both not a corner and not discourteous.; sent6 & sent9 -> int2: that the wonderberry does not corner and it is not discourteous does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wonderberry is not a Patwin.; int4 & sent5 -> hypothesis;
the cantaloup is both a Patwin and meretricious.
sent15 -> int5: the wonderberry is a Patwin or uncooperative or both if it does not roof little.; sent10 -> int6: the fact that the hardtop is not acropetal and it is not a endodontist is not true if the fact that it is not pantheist hold.; int6 & sent3 -> int7: the fact that the hardtop is a kind of non-acropetal thing that is not a endodontist does not hold.; int7 -> int8: there is something such that the fact that it is not acropetal and it is not a endodontist does not hold.; int8 & sent14 -> int9: that the wonderberry does not roof little is not wrong.; int5 & int9 -> int10: the wonderberry is a kind of a Patwin or is uncooperative or both.; int10 -> int11: there is something such that it is a Patwin and/or it is uncooperative.; int11 & sent17 -> int12: the cantaloup is a Patwin.;
$hypothesis$ = the cantaloup is a Patwin and is meretricious. ; $context$ = sent1: if the phaius is not a Indriidae it is meretricious and it is a kind of a Serkin. sent2: that the fact that the wonderberry is a kind of a corner that is not discourteous is not false is wrong if the phaius is not uncooperative. sent3: the hardtop is non-pantheist. sent4: the fact that the wonderberry is a corner that is not discourteous is not correct. sent5: that the fact that that the cantaloup is a kind of a Patwin and is meretricious is not correct hold if that the wonderberry is not a Patwin is correct is true. sent6: if the phaius is not uncooperative the fact that the wonderberry is not a corner and it is not discourteous is not right. sent7: the axerophthol is not a Patwin. sent8: if the wonderberry is not meretricious then that the cantaloup is both meretricious and a Patwin is wrong. sent9: the phaius is not uncooperative. sent10: the fact that something is not acropetal and it is not a endodontist does not hold if it is non-pantheist. sent11: the fact that the wonderberry is not meretricious and is a Patwin is wrong. sent12: if the phaius is meretricious the cantaloup is meretricious. sent13: the wonderberry does not corner and it is not discourteous if it is a Patwin. sent14: if there is something such that the fact that it is not acropetal and it is not a kind of a endodontist is incorrect then the wonderberry does not roof little. sent15: something is a Patwin and/or uncooperative if it does not roof little. sent16: if the phaius is not uncooperative the fact that the wonderberry is not a kind of a corner but it is discourteous is not right. sent17: if either something is a Patwin or it is uncooperative or both then the cantaloup is a Patwin. ; $proof$ = 
void -> assump1: Let's assume that the wonderberry is a kind of a Patwin.; sent13 & assump1 -> int1: the wonderberry is both not a corner and not discourteous.; sent6 & sent9 -> int2: that the wonderberry does not corner and it is not discourteous does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the wonderberry is not a Patwin.; int4 & sent5 -> hypothesis; __DISPROVED__