that something is an entrant or it translates or both does not hold.
sent1: if the skipper is crustaceous the crossopterygian is a kind of an entrant. sent2: if the nettle is crustaceous then the fact that the skipper is not crustaceous and does devil is not right. sent3: there exists something such that the fact that it is not a kind of a redbelly and it is not a fooling does not hold. sent4: the crossopterygian translates and/or it devils. sent5: the crossopterygian is crustaceous if there exists something such that the fact that it does not translate and is not an entrant is incorrect. sent6: there exists something such that that it is not a redbelly and it is a fooling does not hold. sent7: that the crossopterygian is both not an entrant and crustaceous does not hold. sent8: the nettle is crustaceous if there exists something such that it fools. sent9: the nettle is crustaceous if there exists something such that that it is not a redbelly and it is not a fooling is wrong. sent10: there exists something such that it is unstatesmanlike and/or it is a kind of a Cobitidae. sent11: the fact that the skipper is crustaceous and it is a devil is false. sent12: if the nettle is crustaceous that the skipper is crustaceous and it does devil does not hold. sent13: the fact that there exists something such that it is not a redbelly and it does not fool is not false. sent14: there exists something such that the fact that it is a redbelly and it is not a fooling is wrong. sent15: there is something such that that it is not a kind of an entrant and is not a devil does not hold. sent16: the skipper does gutter Hygeia. sent17: there exists something such that it is crustaceous or it does translate or both. sent18: if the fact that the skipper is non-crustaceous a devil is not correct the crossopterygian is an entrant. sent19: the skipper is a thwart if the fact that the vent is not a kind of a redbelly but it is amphibious is wrong. sent20: the nettle is a bimester.
sent3 & sent9 -> int1: that the nettle is crustaceous hold.; sent2 & int1 -> int2: that the skipper is a kind of non-crustaceous thing that devils does not hold.; sent18 & int2 -> int3: the crossopterygian is an entrant.; int3 -> int4: the crossopterygian is an entrant or translates or both.; int4 -> hypothesis;
$hypothesis$ = that something is an entrant or it translates or both does not hold. ; $context$ = sent1: if the skipper is crustaceous the crossopterygian is a kind of an entrant. sent2: if the nettle is crustaceous then the fact that the skipper is not crustaceous and does devil is not right. sent3: there exists something such that the fact that it is not a kind of a redbelly and it is not a fooling does not hold. sent4: the crossopterygian translates and/or it devils. sent5: the crossopterygian is crustaceous if there exists something such that the fact that it does not translate and is not an entrant is incorrect. sent6: there exists something such that that it is not a redbelly and it is a fooling does not hold. sent7: that the crossopterygian is both not an entrant and crustaceous does not hold. sent8: the nettle is crustaceous if there exists something such that it fools. sent9: the nettle is crustaceous if there exists something such that that it is not a redbelly and it is not a fooling is wrong. sent10: there exists something such that it is unstatesmanlike and/or it is a kind of a Cobitidae. sent11: the fact that the skipper is crustaceous and it is a devil is false. sent12: if the nettle is crustaceous that the skipper is crustaceous and it does devil does not hold. sent13: the fact that there exists something such that it is not a redbelly and it does not fool is not false. sent14: there exists something such that the fact that it is a redbelly and it is not a fooling is wrong. sent15: there is something such that that it is not a kind of an entrant and is not a devil does not hold. sent16: the skipper does gutter Hygeia. sent17: there exists something such that it is crustaceous or it does translate or both. sent18: if the fact that the skipper is non-crustaceous a devil is not correct the crossopterygian is an entrant. sent19: the skipper is a thwart if the fact that the vent is not a kind of a redbelly but it is amphibious is wrong. sent20: the nettle is a bimester. ; $proof$ = 
sent3 & sent9 -> int1: that the nettle is crustaceous hold.; sent2 & int1 -> int2: that the skipper is a kind of non-crustaceous thing that devils does not hold.; sent18 & int2 -> int3: the crossopterygian is an entrant.; int3 -> int4: the crossopterygian is an entrant or translates or both.; int4 -> hypothesis; __DISPROVED__