there exists something such that if the fact that it is both not a fiberboard and not bromidic is false it is an agora.
sent1: something is an agora if it is not a kind of a fiberboard and is not bromidic. sent2: if the fact that something is both a fiberboard and not bromidic does not hold it is a kind of an agora. sent3: if that the development is a kind of a fiberboard but it is not bromidic is false then it is an agora. sent4: the development is an agora if it is bromidic. sent5: if something is bromidic then it is an agora.
$hypothesis$ = there exists something such that if the fact that it is both not a fiberboard and not bromidic is false it is an agora. ; $context$ = sent1: something is an agora if it is not a kind of a fiberboard and is not bromidic. sent2: if the fact that something is both a fiberboard and not bromidic does not hold it is a kind of an agora. sent3: if that the development is a kind of a fiberboard but it is not bromidic is false then it is an agora. sent4: the development is an agora if it is bromidic. sent5: if something is bromidic then it is an agora. ; $proof$ = 
__UNKNOWN__