the gasohol is not a platyrrhine.
sent1: if there exists something such that it is unsystematic then the cellar digitizes javelin. sent2: the ship does digitize javelin but it is not a kind of a project. sent3: if the ship digitizes javelin but it is not a project the gasohol is a platyrrhine. sent4: if there is something such that that it is a ping and is unsystematic does not hold the gasohol is not platyrrhine.
sent3 & sent2 -> hypothesis;
the gasohol is not a platyrrhine.
$hypothesis$ = the gasohol is not a platyrrhine. ; $context$ = sent1: if there exists something such that it is unsystematic then the cellar digitizes javelin. sent2: the ship does digitize javelin but it is not a kind of a project. sent3: if the ship digitizes javelin but it is not a project the gasohol is a platyrrhine. sent4: if there is something such that that it is a ping and is unsystematic does not hold the gasohol is not platyrrhine. ; $proof$ = 
sent3 & sent2 -> hypothesis; __DISPROVED__