the drugget is not a kind of a hologram and is not a Joliot.
sent1: if that the gravida is not a monogram and/or it is not a kind of a peal does not hold it is bigger. sent2: that that the drugget is both not a hologram and not a Joliot does not hold if the fact that the pan is a Joliot is correct hold. sent3: the fact that the fact that either the gravida is not a monogram or it does not peal or both is not true hold. sent4: if the gravida is not non-bigger the adobe is not pleomorphic. sent5: if something is a guttural then it is a Joliot. sent6: the pan is guttural if the adobe is not pleomorphic.
sent1 & sent3 -> int1: the gravida is bigger.; int1 & sent4 -> int2: the adobe is not pleomorphic.; int2 & sent6 -> int3: the pan is a guttural.; sent5 -> int4: the pan is a Joliot if it is a kind of a guttural.; int3 & int4 -> int5: that the pan is a Joliot is true.; int5 & sent2 -> hypothesis;
$hypothesis$ = the drugget is not a kind of a hologram and is not a Joliot. ; $context$ = sent1: if that the gravida is not a monogram and/or it is not a kind of a peal does not hold it is bigger. sent2: that that the drugget is both not a hologram and not a Joliot does not hold if the fact that the pan is a Joliot is correct hold. sent3: the fact that the fact that either the gravida is not a monogram or it does not peal or both is not true hold. sent4: if the gravida is not non-bigger the adobe is not pleomorphic. sent5: if something is a guttural then it is a Joliot. sent6: the pan is guttural if the adobe is not pleomorphic. ; $proof$ = 
sent1 & sent3 -> int1: the gravida is bigger.; int1 & sent4 -> int2: the adobe is not pleomorphic.; int2 & sent6 -> int3: the pan is a guttural.; sent5 -> int4: the pan is a Joliot if it is a kind of a guttural.; int3 & int4 -> int5: that the pan is a Joliot is true.; int5 & sent2 -> hypothesis; __DISPROVED__