the Platonist is a kind of a modiolus.
sent1: the fact that if the Chicano is not endometrial the fact that the sourpuss is unprotective and it is endometrial does not hold is not incorrect. sent2: the sourpuss is not endometrial if the fact that it is a kind of a felloe and is unprotective does not hold. sent3: there exists something such that the fact that it is forcipate thing that is not particularistic is wrong. sent4: if the fact that the Platonist is not endometrial is right then that the sourpuss is close and it is endometrial does not hold. sent5: if there is something such that that it is forcipate and not particularistic does not hold then the fact that the Platonist does close is right. sent6: everything is opposable and it is endometrial. sent7: the Platonist is not close if it is not endometrial. sent8: the davallia is not a modiolus. sent9: if the Platonist is a modiolus and closes then the Chicano is not unprotective. sent10: everything is binocular. sent11: the acanthocephalan is not a felloe or it is not endometrial or both if it is opposable. sent12: the acanthocephalan is opposable. sent13: that the Platonist is endometrial is not false. sent14: if the Chicano is not unprotective that that the sourpuss is a felloe that is unprotective is correct does not hold. sent15: the Chicano is not endometrial if the Platonist is unprotective and it is a modiolus.
sent3 & sent5 -> int1: the Platonist is close.; void -> assump1: Let's assume that that the Platonist is a modiolus is true.; int1 & assump1 -> int2: the Platonist is a modiolus and close.; int2 & sent9 -> int3: the Chicano is not unprotective.; int3 & sent14 -> int4: the fact that the sourpuss is a felloe and is unprotective is not true.; int4 & sent2 -> int5: the sourpuss is not endometrial.; sent6 -> int6: the sourpuss is opposable and endometrial.; int6 -> int7: the sourpuss is endometrial.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the Platonist is a modiolus.
sent11 & sent12 -> int9: the acanthocephalan is not a felloe and/or it is not endometrial.; int9 -> int10: there is something such that the fact that it either is not a felloe or is not endometrial or both is not false.;
$hypothesis$ = the Platonist is a kind of a modiolus. ; $context$ = sent1: the fact that if the Chicano is not endometrial the fact that the sourpuss is unprotective and it is endometrial does not hold is not incorrect. sent2: the sourpuss is not endometrial if the fact that it is a kind of a felloe and is unprotective does not hold. sent3: there exists something such that the fact that it is forcipate thing that is not particularistic is wrong. sent4: if the fact that the Platonist is not endometrial is right then that the sourpuss is close and it is endometrial does not hold. sent5: if there is something such that that it is forcipate and not particularistic does not hold then the fact that the Platonist does close is right. sent6: everything is opposable and it is endometrial. sent7: the Platonist is not close if it is not endometrial. sent8: the davallia is not a modiolus. sent9: if the Platonist is a modiolus and closes then the Chicano is not unprotective. sent10: everything is binocular. sent11: the acanthocephalan is not a felloe or it is not endometrial or both if it is opposable. sent12: the acanthocephalan is opposable. sent13: that the Platonist is endometrial is not false. sent14: if the Chicano is not unprotective that that the sourpuss is a felloe that is unprotective is correct does not hold. sent15: the Chicano is not endometrial if the Platonist is unprotective and it is a modiolus. ; $proof$ = 
sent3 & sent5 -> int1: the Platonist is close.; void -> assump1: Let's assume that that the Platonist is a modiolus is true.; int1 & assump1 -> int2: the Platonist is a modiolus and close.; int2 & sent9 -> int3: the Chicano is not unprotective.; int3 & sent14 -> int4: the fact that the sourpuss is a felloe and is unprotective is not true.; int4 & sent2 -> int5: the sourpuss is not endometrial.; sent6 -> int6: the sourpuss is opposable and endometrial.; int6 -> int7: the sourpuss is endometrial.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__