if the Ostrogoth is not a Edwards then it does not field Ostrogoth.
sent1: if something is not a Edwards then it does not field Ostrogoth. sent2: if the Ostrogoth does not field Ostrogoth it is not a fair. sent3: if something is a kind of a encompassment it does not field crowbar.
sent1 -> hypothesis;
$hypothesis$ = if the Ostrogoth is not a Edwards then it does not field Ostrogoth. ; $context$ = sent1: if something is not a Edwards then it does not field Ostrogoth. sent2: if the Ostrogoth does not field Ostrogoth it is not a fair. sent3: if something is a kind of a encompassment it does not field crowbar. ; $proof$ = 
sent1 -> hypothesis; __PROVED__