there is something such that if it is not a Colette that it samples scoreboard and is not a Rachycentridae is incorrect.
sent1: that the doorway does sample scoreboard and it is a zebibit is not correct if it is not peaty. sent2: the fact that the doorway samples scoreboard and is not a Rachycentridae is false if it is not a Colette.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Colette that it samples scoreboard and is not a Rachycentridae is incorrect. ; $context$ = sent1: that the doorway does sample scoreboard and it is a zebibit is not correct if it is not peaty. sent2: the fact that the doorway samples scoreboard and is not a Rachycentridae is false if it is not a Colette. ; $proof$ = 
sent2 -> hypothesis; __PROVED__