there exists something such that if the fact that either it does chock Bovidae or it does fly or both does not hold the fact that it is not a Oceanid is true.
sent1: there is something such that if it is noncomprehensive and/or not non-optical it is not a tough. sent2: there is something such that if it is a defensive or it is a gobble or both it is not a kind of a telephone. sent3: if something is either a hyperpigmentation or not non-monotypic or both it is not defervescent. sent4: if that something does chock Bovidae and/or it is a kind of a fly is not correct it is not a kind of a Oceanid. sent5: if the fact that something is probabilistic or outdoors or both does not hold it does fibrillate. sent6: if the scombroid chocks Bovidae and/or it is a fly it is not a Oceanid. sent7: there is something such that if it is photometric and/or is an acorn then it is not a harrier. sent8: if the scombroid either is a Oceanid or is a raver or both then it is not synonymous. sent9: something does finedraw disrepute if that either it finedraws gofer or it is stoppable or both is not correct. sent10: if something does chock Bovidae and/or it does fly then it is not a kind of a Oceanid. sent11: if the fact that something themes and/or it is relative is not true then it is a kind of an epileptic. sent12: there is something such that if the fact that it is a echoencephalography or it is a kind of a Mazzini or both does not hold the fact that it is not catabolic is right.
sent4 -> int1: the scombroid is not a kind of a Oceanid if that it does chock Bovidae and/or it is a fly does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that either it does chock Bovidae or it does fly or both does not hold the fact that it is not a Oceanid is true. ; $context$ = sent1: there is something such that if it is noncomprehensive and/or not non-optical it is not a tough. sent2: there is something such that if it is a defensive or it is a gobble or both it is not a kind of a telephone. sent3: if something is either a hyperpigmentation or not non-monotypic or both it is not defervescent. sent4: if that something does chock Bovidae and/or it is a kind of a fly is not correct it is not a kind of a Oceanid. sent5: if the fact that something is probabilistic or outdoors or both does not hold it does fibrillate. sent6: if the scombroid chocks Bovidae and/or it is a fly it is not a Oceanid. sent7: there is something such that if it is photometric and/or is an acorn then it is not a harrier. sent8: if the scombroid either is a Oceanid or is a raver or both then it is not synonymous. sent9: something does finedraw disrepute if that either it finedraws gofer or it is stoppable or both is not correct. sent10: if something does chock Bovidae and/or it does fly then it is not a kind of a Oceanid. sent11: if the fact that something themes and/or it is relative is not true then it is a kind of an epileptic. sent12: there is something such that if the fact that it is a echoencephalography or it is a kind of a Mazzini or both does not hold the fact that it is not catabolic is right. ; $proof$ = 
sent4 -> int1: the scombroid is not a kind of a Oceanid if that it does chock Bovidae and/or it is a fly does not hold.; int1 -> hypothesis; __PROVED__