there exists something such that if it is not a arrogator the fact that it is not a sort and is a kind of a drogue is wrong.
sent1: if the siderocyte is not a arrogator then the fact that it is a sort and is a drogue is wrong. sent2: there is something such that if it is not a arrogator then it is not a sort and it is a kind of a drogue.
$hypothesis$ = there exists something such that if it is not a arrogator the fact that it is not a sort and is a kind of a drogue is wrong. ; $context$ = sent1: if the siderocyte is not a arrogator then the fact that it is a sort and is a drogue is wrong. sent2: there is something such that if it is not a arrogator then it is not a sort and it is a kind of a drogue. ; $proof$ = 
__UNKNOWN__