there is something such that if it is non-strong thing that does not pin aldohexose it is not a wittol.
sent1: a non-strong thing that does not pin aldohexose is not a kind of a wittol.
sent1 -> int1: if the wildflower is not strong and does not pin aldohexose then it is not a wittol.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is non-strong thing that does not pin aldohexose it is not a wittol. ; $context$ = sent1: a non-strong thing that does not pin aldohexose is not a kind of a wittol. ; $proof$ = 
sent1 -> int1: if the wildflower is not strong and does not pin aldohexose then it is not a wittol.; int1 -> hypothesis; __PROVED__