the fetus does undercut haplosporidian.
sent1: if the catchment does undercut gladiator then the fact that the pussy-paw is a kind of non-metallurgical thing that does not undercut gladiator is wrong. sent2: the conferee is not a Selene. sent3: the mansard is Melanesian and/or not triangulate. sent4: the mansard is non-Melanesian and/or triangulate. sent5: if the mansard is not Melanesian and/or it is not triangulate that the conferee is a kind of a Selene is true. sent6: if the pussy-paw undercuts gladiator the fetus undercuts haplosporidian. sent7: the fact that if the catchment does not undercut gladiator then the mansard is Melanesian and/or it is not triangulate hold. sent8: the mansard is not Melanesian and/or it is non-triangulate if the catchment does not undercut gladiator. sent9: the fact that if the catchment does not undercut gladiator the mansard is not Melanesian and/or does triangulate is not wrong. sent10: if the fact that the pussy-paw is not metallurgical and it does not undercut gladiator is false that the fetus does undercut haplosporidian hold. sent11: if the catchment does undercut gladiator then the fact that the pussy-paw is a kind of non-metallurgical thing that does undercut gladiator is incorrect.
void -> assump1: Let's assume that the catchment does not undercut gladiator.; sent8 & assump1 -> int1: that the mansard is not Melanesian and/or it is not triangulate is not false.; int1 & sent5 -> int2: the conferee is a Selene.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catchment does undercut gladiator.; int4 & sent1 -> int5: that the pussy-paw is a kind of non-metallurgical thing that does not undercut gladiator does not hold.; int5 & sent10 -> hypothesis;
$hypothesis$ = the fetus does undercut haplosporidian. ; $context$ = sent1: if the catchment does undercut gladiator then the fact that the pussy-paw is a kind of non-metallurgical thing that does not undercut gladiator is wrong. sent2: the conferee is not a Selene. sent3: the mansard is Melanesian and/or not triangulate. sent4: the mansard is non-Melanesian and/or triangulate. sent5: if the mansard is not Melanesian and/or it is not triangulate that the conferee is a kind of a Selene is true. sent6: if the pussy-paw undercuts gladiator the fetus undercuts haplosporidian. sent7: the fact that if the catchment does not undercut gladiator then the mansard is Melanesian and/or it is not triangulate hold. sent8: the mansard is not Melanesian and/or it is non-triangulate if the catchment does not undercut gladiator. sent9: the fact that if the catchment does not undercut gladiator the mansard is not Melanesian and/or does triangulate is not wrong. sent10: if the fact that the pussy-paw is not metallurgical and it does not undercut gladiator is false that the fetus does undercut haplosporidian hold. sent11: if the catchment does undercut gladiator then the fact that the pussy-paw is a kind of non-metallurgical thing that does undercut gladiator is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the catchment does not undercut gladiator.; sent8 & assump1 -> int1: that the mansard is not Melanesian and/or it is not triangulate is not false.; int1 & sent5 -> int2: the conferee is a Selene.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catchment does undercut gladiator.; int4 & sent1 -> int5: that the pussy-paw is a kind of non-metallurgical thing that does not undercut gladiator does not hold.; int5 & sent10 -> hypothesis; __PROVED__