the macroeconomist bogs skua.
sent1: the macroeconomist bogs skua if something does bog trough or capers apojove or both. sent2: either the pilus does bog trough or it capers apojove or both.
sent2 -> int1: something does bog trough or it does caper apojove or both.; int1 & sent1 -> hypothesis;
$hypothesis$ = the macroeconomist bogs skua. ; $context$ = sent1: the macroeconomist bogs skua if something does bog trough or capers apojove or both. sent2: either the pilus does bog trough or it capers apojove or both. ; $proof$ = 
sent2 -> int1: something does bog trough or it does caper apojove or both.; int1 & sent1 -> hypothesis; __PROVED__