there exists something such that it is a Prima and it does guggle Nacimiento.
sent1: the sheller does dangle Portland if it is not meteoric. sent2: there exists something such that that it is meteoric is right. sent3: there exists something such that it is a Prima. sent4: the plethysmograph does dangle pounding if something is not a kind of a blues and is meteoric. sent5: the loam is not a kind of a man-of-war. sent6: the fact that the loam is not a anglophobe is not wrong. sent7: if that something does dangle sheller but it does not dangle registrar does not hold then the fact that it is a kind of a man-of-war hold. sent8: if something does not dangle sheller then it is a man-of-war. sent9: that that the sunrise does not dangle Portland and is Boeotian is not correct is not wrong. sent10: the sheller is meteoric. sent11: if the plethysmograph dangles pounding then that the loam dangles sheller but it does not dangle registrar does not hold. sent12: if that something is not a blues but it is meteoric is not true then it does dangle Portland. sent13: the sheller is indelicate and it dangles sheller. sent14: something is a kind of a Prima if it does dangle Portland. sent15: the sheller is indelicate.
void -> assump1: Let's assume that the sheller is not a kind of a blues but it is meteoric.; assump1 -> int1: there exists something such that it is not a blues but meteoric.; int1 & sent4 -> int2: the plethysmograph does dangle pounding.; int2 & sent11 -> int3: the fact that the loam dangles sheller and does not dangle registrar does not hold.; sent7 -> int4: the loam is a man-of-war if the fact that it does dangle sheller and does not dangle registrar is not right.; int3 & int4 -> int5: the loam is a man-of-war.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the sheller is not a blues but it is meteoric does not hold.; sent12 -> int8: the fact that the sheller does dangle Portland is correct if that it is not a blues and it is meteoric does not hold.; int7 & int8 -> int9: the sheller does dangle Portland.; sent14 -> int10: the sheller is a Prima if it dangles Portland.; int9 & int10 -> int11: the sheller is a Prima.;
$hypothesis$ = there exists something such that it is a Prima and it does guggle Nacimiento. ; $context$ = sent1: the sheller does dangle Portland if it is not meteoric. sent2: there exists something such that that it is meteoric is right. sent3: there exists something such that it is a Prima. sent4: the plethysmograph does dangle pounding if something is not a kind of a blues and is meteoric. sent5: the loam is not a kind of a man-of-war. sent6: the fact that the loam is not a anglophobe is not wrong. sent7: if that something does dangle sheller but it does not dangle registrar does not hold then the fact that it is a kind of a man-of-war hold. sent8: if something does not dangle sheller then it is a man-of-war. sent9: that that the sunrise does not dangle Portland and is Boeotian is not correct is not wrong. sent10: the sheller is meteoric. sent11: if the plethysmograph dangles pounding then that the loam dangles sheller but it does not dangle registrar does not hold. sent12: if that something is not a blues but it is meteoric is not true then it does dangle Portland. sent13: the sheller is indelicate and it dangles sheller. sent14: something is a kind of a Prima if it does dangle Portland. sent15: the sheller is indelicate. ; $proof$ = 
void -> assump1: Let's assume that the sheller is not a kind of a blues but it is meteoric.; assump1 -> int1: there exists something such that it is not a blues but meteoric.; int1 & sent4 -> int2: the plethysmograph does dangle pounding.; int2 & sent11 -> int3: the fact that the loam dangles sheller and does not dangle registrar does not hold.; sent7 -> int4: the loam is a man-of-war if the fact that it does dangle sheller and does not dangle registrar is not right.; int3 & int4 -> int5: the loam is a man-of-war.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the sheller is not a blues but it is meteoric does not hold.; sent12 -> int8: the fact that the sheller does dangle Portland is correct if that it is not a blues and it is meteoric does not hold.; int7 & int8 -> int9: the sheller does dangle Portland.; sent14 -> int10: the sheller is a Prima if it dangles Portland.; int9 & int10 -> int11: the sheller is a Prima.; __UNKNOWN__