the differential is not a topiary.
sent1: the differential is not postictal if there is something such that the fact that it is both a subfigure and postictal is not correct. sent2: there exists something such that it is a subfigure and it is postictal. sent3: something is both not anorthitic and not a topiary if it is not postictal. sent4: if there exists something such that it is not a subfigure the differential is not postictal. sent5: there exists something such that that it is a subfigure and it is postictal is not true. sent6: the manhole does not descry agnostic. sent7: the differential is not a kind of a stinter.
sent3 -> int1: the differential is non-anorthitic thing that is not a topiary if it is non-postictal.; sent5 & sent1 -> int2: the differential is non-postictal.; int1 & int2 -> int3: the differential is not anorthitic and it is not a topiary.; int3 -> hypothesis;
$hypothesis$ = the differential is not a topiary. ; $context$ = sent1: the differential is not postictal if there is something such that the fact that it is both a subfigure and postictal is not correct. sent2: there exists something such that it is a subfigure and it is postictal. sent3: something is both not anorthitic and not a topiary if it is not postictal. sent4: if there exists something such that it is not a subfigure the differential is not postictal. sent5: there exists something such that that it is a subfigure and it is postictal is not true. sent6: the manhole does not descry agnostic. sent7: the differential is not a kind of a stinter. ; $proof$ = 
sent3 -> int1: the differential is non-anorthitic thing that is not a topiary if it is non-postictal.; sent5 & sent1 -> int2: the differential is non-postictal.; int1 & int2 -> int3: the differential is not anorthitic and it is not a topiary.; int3 -> hypothesis; __PROVED__