the fact that there exists something such that if it does not whish or it is a kind of a trio or both it is not a roulade is false.
sent1: the antimony is not a kind of a roulade if it does not whish or it is a trio or both. sent2: there exists something such that if it is a Faust it is not a prosthodontist.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not whish or it is a kind of a trio or both it is not a roulade is false. ; $context$ = sent1: the antimony is not a kind of a roulade if it does not whish or it is a trio or both. sent2: there exists something such that if it is a Faust it is not a prosthodontist. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__