that there is something such that if it is not a lecture and/or is not nonionic it is not a kind of a trachodon is incorrect.
sent1: there exists something such that if it is not uncharacteristic the fact that it is not a hurdles is not wrong. sent2: the legs is not a kind of a trachodon if it does not lecture and/or it is not nonionic.
sent2 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a lecture and/or is not nonionic it is not a kind of a trachodon is incorrect. ; $context$ = sent1: there exists something such that if it is not uncharacteristic the fact that it is not a hurdles is not wrong. sent2: the legs is not a kind of a trachodon if it does not lecture and/or it is not nonionic. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__