that the fauna is oracular but it does not risk mounting is wrong.
sent1: if the employable does not risk mounting the fact that it is not oracular and/or it is not a kind of a Borassus does not hold. sent2: if the aircraftsman is not a kind of a resurvey the fauna stables polemic. sent3: that the batfish is not a kind of a teletypewriter but it commands moneybag is not right. sent4: if something is a kind of a teletypewriter the aircraftsman is not a resurvey. sent5: the fact that the fauna is oracular thing that does not risk mounting is wrong if it does stable polemic. sent6: the fauna is a charlotte. sent7: that everything is not non-oracular hold. sent8: that the fauna does not stable polemic but it is a kind of a teletypewriter is wrong if the console is oracular. sent9: something is not a teletypewriter and commands moneybag. sent10: if the employable is a Tatum then it does not risk mounting and is not unregretful. sent11: there exists something such that the fact that it is a teletypewriter and it does command moneybag is incorrect. sent12: the console is oracular if that the employable is not oracular and/or it is not a Borassus is incorrect. sent13: the employable is a Tatum. sent14: the fact that the batfish is a teletypewriter and it does command moneybag is false. sent15: something is not a kind of a teletypewriter if it either is not a kind of a teletypewriter or is not a resurvey or both. sent16: the batfish is a Oenothera.
sent3 -> int1: there is something such that that it is not a teletypewriter and commands moneybag is not right.;
the fauna is oracular and does not risk mounting.
sent7 -> int2: that the aircraftsman is oracular is not false.;
$hypothesis$ = that the fauna is oracular but it does not risk mounting is wrong. ; $context$ = sent1: if the employable does not risk mounting the fact that it is not oracular and/or it is not a kind of a Borassus does not hold. sent2: if the aircraftsman is not a kind of a resurvey the fauna stables polemic. sent3: that the batfish is not a kind of a teletypewriter but it commands moneybag is not right. sent4: if something is a kind of a teletypewriter the aircraftsman is not a resurvey. sent5: the fact that the fauna is oracular thing that does not risk mounting is wrong if it does stable polemic. sent6: the fauna is a charlotte. sent7: that everything is not non-oracular hold. sent8: that the fauna does not stable polemic but it is a kind of a teletypewriter is wrong if the console is oracular. sent9: something is not a teletypewriter and commands moneybag. sent10: if the employable is a Tatum then it does not risk mounting and is not unregretful. sent11: there exists something such that the fact that it is a teletypewriter and it does command moneybag is incorrect. sent12: the console is oracular if that the employable is not oracular and/or it is not a Borassus is incorrect. sent13: the employable is a Tatum. sent14: the fact that the batfish is a teletypewriter and it does command moneybag is false. sent15: something is not a kind of a teletypewriter if it either is not a kind of a teletypewriter or is not a resurvey or both. sent16: the batfish is a Oenothera. ; $proof$ = 
sent3 -> int1: there is something such that that it is not a teletypewriter and commands moneybag is not right.; __UNKNOWN__