there exists something such that if it is not osteal then it edges adopter and it does not lob anvil.
sent1: if the whipper-in is not osteal it does edge adopter and does not lob anvil. sent2: there exists something such that if it is not osteal then it does edge adopter and it lobs anvil. sent3: the battlement is a zettabyte but not a convent if it edges adopter. sent4: there is something such that if it is osteal it edges adopter and does not lob anvil. sent5: the whipper-in does not lob anvil if it is not osteal. sent6: there is something such that if it is not osteal it edges adopter.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not osteal then it edges adopter and it does not lob anvil. ; $context$ = sent1: if the whipper-in is not osteal it does edge adopter and does not lob anvil. sent2: there exists something such that if it is not osteal then it does edge adopter and it lobs anvil. sent3: the battlement is a zettabyte but not a convent if it edges adopter. sent4: there is something such that if it is osteal it edges adopter and does not lob anvil. sent5: the whipper-in does not lob anvil if it is not osteal. sent6: there is something such that if it is not osteal it edges adopter. ; $proof$ = 
sent1 -> hypothesis; __PROVED__