there exists something such that if it is not a Ornithorhynchidae and it is a cutthroat then it does untune buteonine.
sent1: there is something such that if it is a kind of a Ornithorhynchidae that is a cutthroat it does untune buteonine.
$hypothesis$ = there exists something such that if it is not a Ornithorhynchidae and it is a cutthroat then it does untune buteonine. ; $context$ = sent1: there is something such that if it is a kind of a Ornithorhynchidae that is a cutthroat it does untune buteonine. ; $proof$ = 
__UNKNOWN__