there is something such that if it is a Goldwyn it is not cogitative and it is homonymic.
sent1: if the aqualung is a kind of a Goldwyn it is non-cogitative and it is homonymic.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is a Goldwyn it is not cogitative and it is homonymic. ; $context$ = sent1: if the aqualung is a kind of a Goldwyn it is non-cogitative and it is homonymic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__