there is something such that if the fact that it is not a casework is true it is illogical and it enfranchises salutatory.
sent1: the Somalian is not a tempered if it is not noninfectious and is not a casework. sent2: the Somalian is illogical and it does enfranchise salutatory if it is not a kind of a tempered. sent3: if the Hereford is a Goodman or it is near or both then that the Somalian is not noninfectious is not false.
$hypothesis$ = there is something such that if the fact that it is not a casework is true it is illogical and it enfranchises salutatory. ; $context$ = sent1: the Somalian is not a tempered if it is not noninfectious and is not a casework. sent2: the Somalian is illogical and it does enfranchise salutatory if it is not a kind of a tempered. sent3: if the Hereford is a Goodman or it is near or both then that the Somalian is not noninfectious is not false. ; $proof$ = 
__UNKNOWN__