the hollygrape is granulomatous.
sent1: there are bottomed things. sent2: the pogge is nonmodern. sent3: if something that does not suggest is not granulomatous then it is not a root. sent4: the hollygrape is not non-granulomatous if the pogge does not suggest. sent5: the hollygrape suggests if that it either juggles or is not a root or both is wrong. sent6: there is something such that it is granulomatous. sent7: the ramrod does not suggest. sent8: there is something such that it does suggest. sent9: if the fact that the hollygrape is not a juggle or not a root or both does not hold then it does suggest. sent10: there is something such that it is topped. sent11: that the hollygrape does not juggle and/or it does not root does not hold. sent12: if the fact that the pogge is not non-monatomic but it is not categorical is wrong it is not eparchial. sent13: if there exists something such that it is topped then the Hanuman does not certify. sent14: if that something is nonmodern and it suggests does not hold then that it does not suggests is not incorrect. sent15: the pogge is not nonmodern if something that does suggest is not non-granulomatous. sent16: the hollygrape is a juggle. sent17: something roots. sent18: if the deserter suggests and is not monatomic then the C does not suggests. sent19: if the Hanuman does not certify then the hogfish is eparchial and is categorical.
sent9 & sent11 -> int1: the hollygrape does suggest.; void -> assump1: Let's assume that the hollygrape is granulomatous.; int1 & assump1 -> int2: the hollygrape suggests and is not non-granulomatous.; int2 -> int3: something does suggest and it is granulomatous.; int3 & sent15 -> int4: the pogge is not nonmodern.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the hollygrape is granulomatous.
sent14 -> int6: the pogge does not suggest if that it is nonmodern and it suggest does not hold.; sent10 & sent13 -> int7: the Hanuman does not certify.; sent19 & int7 -> int8: the hogfish is both eparchial and categorical.; int8 -> int9: the hogfish is eparchial.; int9 -> int10: there is something such that it is eparchial.;
$hypothesis$ = the hollygrape is granulomatous. ; $context$ = sent1: there are bottomed things. sent2: the pogge is nonmodern. sent3: if something that does not suggest is not granulomatous then it is not a root. sent4: the hollygrape is not non-granulomatous if the pogge does not suggest. sent5: the hollygrape suggests if that it either juggles or is not a root or both is wrong. sent6: there is something such that it is granulomatous. sent7: the ramrod does not suggest. sent8: there is something such that it does suggest. sent9: if the fact that the hollygrape is not a juggle or not a root or both does not hold then it does suggest. sent10: there is something such that it is topped. sent11: that the hollygrape does not juggle and/or it does not root does not hold. sent12: if the fact that the pogge is not non-monatomic but it is not categorical is wrong it is not eparchial. sent13: if there exists something such that it is topped then the Hanuman does not certify. sent14: if that something is nonmodern and it suggests does not hold then that it does not suggests is not incorrect. sent15: the pogge is not nonmodern if something that does suggest is not non-granulomatous. sent16: the hollygrape is a juggle. sent17: something roots. sent18: if the deserter suggests and is not monatomic then the C does not suggests. sent19: if the Hanuman does not certify then the hogfish is eparchial and is categorical. ; $proof$ = 
sent9 & sent11 -> int1: the hollygrape does suggest.; void -> assump1: Let's assume that the hollygrape is granulomatous.; int1 & assump1 -> int2: the hollygrape suggests and is not non-granulomatous.; int2 -> int3: something does suggest and it is granulomatous.; int3 & sent15 -> int4: the pogge is not nonmodern.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__