the butterfish is a kind of a rollover.
sent1: that the cataract is a nymphalid that does drink chartered is not right if the sentimentalist is armed. sent2: the butterfish is not armless and is not a kind of a rollover if the sentimentalist is a antiarrhythmic. sent3: the fact that the cacodyl is prodromal if the fact that the musnud is not a kind of a antiarrhythmic and is not tympanitic is wrong is not false. sent4: if the cacodyl is armless then the fact that the sentimentalist is armless but it is prodromal is not right. sent5: the fact that the musnud is a antiarrhythmic and is not tympanitic does not hold if the cataract is a antiarrhythmic. sent6: the cacodyl is mesic if it is prodromal. sent7: if the sentimentalist is not armless then the fact that the cataract is not a nymphalid and does drink chartered is not right. sent8: the butterfish is armless if the sentimentalist is Nicaraguan. sent9: the fact that that the musnud is both not a antiarrhythmic and tympanitic does not hold hold. sent10: that the sentimentalist is mesic is not wrong. sent11: if the cataract is a antiarrhythmic the fact that the musnud is not a kind of a antiarrhythmic and it is not tympanitic is false. sent12: the fact that the butterfish is a nymphalid but it is not a kind of a rollover is not correct. sent13: the butterfish is not a rollover if it is a kind of a antiarrhythmic that is armless. sent14: if the cataract is a nymphalid it is a kind of a antiarrhythmic. sent15: the sentimentalist is not armless. sent16: the butterfish is Nicaraguan if the cacodyl is mesic. sent17: if the butterfish is a Nicaraguan it is a rollover. sent18: if the fact that the cataract does not drink chartered and is not a rollover is incorrect the butterfish is prodromal. sent19: if that the cataract is not a kind of a nymphalid but it drinks chartered is wrong it is a kind of a antiarrhythmic. sent20: the cataract is a antiarrhythmic and/or not prodromal if the musnud is not tympanitic. sent21: the musnud is not tympanitic and not mesic if the cacodyl is not a kind of a Nicaraguan. sent22: that the cataract is a nymphalid and it drinks chartered is not right.
sent7 & sent15 -> int1: that that the cataract is not a nymphalid and does drink chartered does not hold is right.; int1 & sent19 -> int2: the cataract is a antiarrhythmic.; int2 & sent11 -> int3: the fact that the musnud is not a antiarrhythmic and is not tympanitic is incorrect.; int3 & sent3 -> int4: that the cacodyl is prodromal is right.; int4 & sent6 -> int5: the cacodyl is mesic.; int5 & sent16 -> int6: the butterfish is Nicaraguan.; int6 & sent17 -> hypothesis;
the butterfish is not a rollover.
$hypothesis$ = the butterfish is a kind of a rollover. ; $context$ = sent1: that the cataract is a nymphalid that does drink chartered is not right if the sentimentalist is armed. sent2: the butterfish is not armless and is not a kind of a rollover if the sentimentalist is a antiarrhythmic. sent3: the fact that the cacodyl is prodromal if the fact that the musnud is not a kind of a antiarrhythmic and is not tympanitic is wrong is not false. sent4: if the cacodyl is armless then the fact that the sentimentalist is armless but it is prodromal is not right. sent5: the fact that the musnud is a antiarrhythmic and is not tympanitic does not hold if the cataract is a antiarrhythmic. sent6: the cacodyl is mesic if it is prodromal. sent7: if the sentimentalist is not armless then the fact that the cataract is not a nymphalid and does drink chartered is not right. sent8: the butterfish is armless if the sentimentalist is Nicaraguan. sent9: the fact that that the musnud is both not a antiarrhythmic and tympanitic does not hold hold. sent10: that the sentimentalist is mesic is not wrong. sent11: if the cataract is a antiarrhythmic the fact that the musnud is not a kind of a antiarrhythmic and it is not tympanitic is false. sent12: the fact that the butterfish is a nymphalid but it is not a kind of a rollover is not correct. sent13: the butterfish is not a rollover if it is a kind of a antiarrhythmic that is armless. sent14: if the cataract is a nymphalid it is a kind of a antiarrhythmic. sent15: the sentimentalist is not armless. sent16: the butterfish is Nicaraguan if the cacodyl is mesic. sent17: if the butterfish is a Nicaraguan it is a rollover. sent18: if the fact that the cataract does not drink chartered and is not a rollover is incorrect the butterfish is prodromal. sent19: if that the cataract is not a kind of a nymphalid but it drinks chartered is wrong it is a kind of a antiarrhythmic. sent20: the cataract is a antiarrhythmic and/or not prodromal if the musnud is not tympanitic. sent21: the musnud is not tympanitic and not mesic if the cacodyl is not a kind of a Nicaraguan. sent22: that the cataract is a nymphalid and it drinks chartered is not right. ; $proof$ = 
sent7 & sent15 -> int1: that that the cataract is not a nymphalid and does drink chartered does not hold is right.; int1 & sent19 -> int2: the cataract is a antiarrhythmic.; int2 & sent11 -> int3: the fact that the musnud is not a antiarrhythmic and is not tympanitic is incorrect.; int3 & sent3 -> int4: that the cacodyl is prodromal is right.; int4 & sent6 -> int5: the cacodyl is mesic.; int5 & sent16 -> int6: the butterfish is Nicaraguan.; int6 & sent17 -> hypothesis; __PROVED__