there exists something such that if that it is not a kind of a frogfish or it is a kind of an easel or both is false it is a Ajaia.
sent1: the cul is a Ajaia if the fact that either it is a kind of a frogfish or it is an easel or both does not hold. sent2: something is a Ajaia if that the fact that it is not a frogfish and/or is an easel is not wrong is wrong. sent3: there exists something such that if it is not a frogfish and/or it is a kind of an easel then it is a kind of a Ajaia. sent4: the fact that the cul is the Ajaia if either the cul is not a frogfish or it is an easel or both is not false. sent5: there is something such that if the fact that either it is not Slavonic or it is a breakwater or both is wrong then it is a demimonde. sent6: if the fact that something is either not atherosclerotic or a keyboard or both is not true then that it is a kind of a camera hold. sent7: the fact that something is a kind of a Ajaia if the fact that it is a frogfish and/or it is an easel is false is not wrong. sent8: there is something such that if the fact that it does not shoot Warhol and/or commutates chinquapin is wrong then it is a Mylodontidae. sent9: something is censorial if the fact that either it does not rival aqualung or it shoots Woolworth or both is incorrect. sent10: if something is either not a frogfish or an easel or both it is a Ajaia. sent11: there exists something such that if the fact that it is a frogfish and/or it is an easel is false then it is a kind of a Ajaia.
sent2 -> int1: the cul is a Ajaia if that it is not a frogfish and/or is a kind of an easel is not true.; int1 -> hypothesis;
there is something such that if the fact that it is not atherosclerotic or it is a keyboard or both does not hold then it is a camera.
sent6 -> int2: if the fact that that the pangolin is not atherosclerotic or it is a keyboard or both is false is not wrong then it is a kind of a camera.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a frogfish or it is a kind of an easel or both is false it is a Ajaia. ; $context$ = sent1: the cul is a Ajaia if the fact that either it is a kind of a frogfish or it is an easel or both does not hold. sent2: something is a Ajaia if that the fact that it is not a frogfish and/or is an easel is not wrong is wrong. sent3: there exists something such that if it is not a frogfish and/or it is a kind of an easel then it is a kind of a Ajaia. sent4: the fact that the cul is the Ajaia if either the cul is not a frogfish or it is an easel or both is not false. sent5: there is something such that if the fact that either it is not Slavonic or it is a breakwater or both is wrong then it is a demimonde. sent6: if the fact that something is either not atherosclerotic or a keyboard or both is not true then that it is a kind of a camera hold. sent7: the fact that something is a kind of a Ajaia if the fact that it is a frogfish and/or it is an easel is false is not wrong. sent8: there is something such that if the fact that it does not shoot Warhol and/or commutates chinquapin is wrong then it is a Mylodontidae. sent9: something is censorial if the fact that either it does not rival aqualung or it shoots Woolworth or both is incorrect. sent10: if something is either not a frogfish or an easel or both it is a Ajaia. sent11: there exists something such that if the fact that it is a frogfish and/or it is an easel is false then it is a kind of a Ajaia. ; $proof$ = 
sent2 -> int1: the cul is a Ajaia if that it is not a frogfish and/or is a kind of an easel is not true.; int1 -> hypothesis; __PROVED__