the ghat does not stagger.
sent1: the ghat does not stagger if the quillwort is sociological and a enanthem. sent2: everything is not low-rise. sent3: the miller is not a kind of a concavity and it is not inactive if it is not low-rise. sent4: if something that is not a kind of a concavity is not inactive then it is not a enanthem. sent5: if the miller is not a enanthem then the quillwort is both sociological and a enanthem.
sent2 -> int1: the miller is not low-rise.; int1 & sent3 -> int2: the miller is not a concavity and is not inactive.; sent4 -> int3: the miller is not a kind of a enanthem if it is not a kind of a concavity and it is not inactive.; int2 & int3 -> int4: the miller is not a enanthem.; int4 & sent5 -> int5: the quillwort is sociological and it is a enanthem.; int5 & sent1 -> hypothesis;
$hypothesis$ = the ghat does not stagger. ; $context$ = sent1: the ghat does not stagger if the quillwort is sociological and a enanthem. sent2: everything is not low-rise. sent3: the miller is not a kind of a concavity and it is not inactive if it is not low-rise. sent4: if something that is not a kind of a concavity is not inactive then it is not a enanthem. sent5: if the miller is not a enanthem then the quillwort is both sociological and a enanthem. ; $proof$ = 
sent2 -> int1: the miller is not low-rise.; int1 & sent3 -> int2: the miller is not a concavity and is not inactive.; sent4 -> int3: the miller is not a kind of a enanthem if it is not a kind of a concavity and it is not inactive.; int2 & int3 -> int4: the miller is not a enanthem.; int4 & sent5 -> int5: the quillwort is sociological and it is a enanthem.; int5 & sent1 -> hypothesis; __PROVED__