the aldol is not chronic.
sent1: if the hangover is not electronics that the blooming is non-electronics thing that is a Bragg is not correct. sent2: if the blooming is not a Bragg that the aldol is not a kind of a Bragg but it is chronic is not correct. sent3: if that something is not electronics is true then it is chronic. sent4: the fact that the aldol is not chronic hold if the fact that the blooming is not electronics and is a Bragg is not right. sent5: there exists something such that the fact that it is sculptural and it is Audenesque is incorrect. sent6: if there exists something such that that it is sculptural and it is Audenesque is incorrect then that the hangover is not electronics is not wrong. sent7: the aldol is non-chronic if the blooming is electronics.
sent5 & sent6 -> int1: the fact that the hangover is not electronics hold.; sent1 & int1 -> int2: that the blooming is not electronics but a Bragg is wrong.; sent4 & int2 -> hypothesis;
the aldol is chronic.
sent3 -> int3: if the aldol is not electronics then it is chronic.;
$hypothesis$ = the aldol is not chronic. ; $context$ = sent1: if the hangover is not electronics that the blooming is non-electronics thing that is a Bragg is not correct. sent2: if the blooming is not a Bragg that the aldol is not a kind of a Bragg but it is chronic is not correct. sent3: if that something is not electronics is true then it is chronic. sent4: the fact that the aldol is not chronic hold if the fact that the blooming is not electronics and is a Bragg is not right. sent5: there exists something such that the fact that it is sculptural and it is Audenesque is incorrect. sent6: if there exists something such that that it is sculptural and it is Audenesque is incorrect then that the hangover is not electronics is not wrong. sent7: the aldol is non-chronic if the blooming is electronics. ; $proof$ = 
sent5 & sent6 -> int1: the fact that the hangover is not electronics hold.; sent1 & int1 -> int2: that the blooming is not electronics but a Bragg is wrong.; sent4 & int2 -> hypothesis; __PROVED__