the lining is both not a Fuller and a reversed.
sent1: the lining is not a Fuller but it is a reversed if the dustmop is a kind of a Fuller. sent2: if the dustmop is a Fuller then the lining is reversed. sent3: if that the dustmop is extraterritorial is wrong the ringtail is not a Butte but discourteous. sent4: if the ringtail is not extraterritorial and is a calmness then the dustmop is not a kind of a reversed. sent5: the lining is reversed.
the ringtail is not a Butte but it is discourteous.
$hypothesis$ = the lining is both not a Fuller and a reversed. ; $context$ = sent1: the lining is not a Fuller but it is a reversed if the dustmop is a kind of a Fuller. sent2: if the dustmop is a Fuller then the lining is reversed. sent3: if that the dustmop is extraterritorial is wrong the ringtail is not a Butte but discourteous. sent4: if the ringtail is not extraterritorial and is a calmness then the dustmop is not a kind of a reversed. sent5: the lining is reversed. ; $proof$ = 
__UNKNOWN__