the modernist is exaugural.
sent1: if the gonion is a kind of a groover that the modernist is a groover that does not snick Morrison is wrong. sent2: the modernist is not exaugural if the fact that it does not plot Hodgkin and it does not snick Morrison is not true. sent3: the geneva plots Hodgkin if the gonion is a groover. sent4: if the geneva plots Hodgkin that the modernist does not plots Hodgkin and it does not snick Morrison is not right. sent5: the gonion is a groover.
sent3 & sent5 -> int1: the geneva plots Hodgkin.; int1 & sent4 -> int2: the fact that that the modernist does not plot Hodgkin and it does not snick Morrison does not hold is not incorrect.; int2 & sent2 -> hypothesis;
$hypothesis$ = the modernist is exaugural. ; $context$ = sent1: if the gonion is a kind of a groover that the modernist is a groover that does not snick Morrison is wrong. sent2: the modernist is not exaugural if the fact that it does not plot Hodgkin and it does not snick Morrison is not true. sent3: the geneva plots Hodgkin if the gonion is a groover. sent4: if the geneva plots Hodgkin that the modernist does not plots Hodgkin and it does not snick Morrison is not right. sent5: the gonion is a groover. ; $proof$ = 
sent3 & sent5 -> int1: the geneva plots Hodgkin.; int1 & sent4 -> int2: the fact that that the modernist does not plot Hodgkin and it does not snick Morrison does not hold is not incorrect.; int2 & sent2 -> hypothesis; __DISPROVED__