the choppiness is verbal.
sent1: something is verbal if that it is a kind of a bulimic or it is not a Jassidae or both is wrong. sent2: if the cryptocoryne is a kind of an accusation then the weigher does not dwindle and it is not a dated. sent3: the weigher is a Jassidae if the choppiness is not a absolver and it does not stickle chainsaw. sent4: something is a bulimic if it is a absolver. sent5: that the choppiness is a absolver that does not stickle chainsaw is not right. sent6: the fact that the weigher is not a Jassidae is right. sent7: the choppiness is not a absolver. sent8: that the cryptocoryne is an accusation is true if the deerstalker is an accusation. sent9: the choppiness is a kind of a penguin. sent10: something is a bulimic if that it is not a kind of a absolver and does not stickle chainsaw is not right. sent11: the ration does not stickle chainsaw. sent12: if the choppiness is a kind of a absolver but it does not stickle chainsaw the weigher is a kind of a Jassidae. sent13: the choppiness is a bulimic if it is a absolver. sent14: if the choppiness is a kind of a bulimic and it is a kind of a penguin then it is not verbal. sent15: if the chainsaw is cecal then the deerstalker is an accusation.
void -> assump1: Let's assume that the choppiness is not a absolver and it does not stickle chainsaw.; sent3 & assump1 -> int1: the weigher is a Jassidae.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the choppiness is not a absolver and it does not stickle chainsaw does not hold.; sent10 -> int4: the choppiness is bulimic if the fact that it is not a absolver and does not stickle chainsaw is false.; int3 & int4 -> int5: the choppiness is bulimic.; int5 & sent9 -> int6: the choppiness is both a bulimic and a penguin.; int6 & sent14 -> hypothesis;
the choppiness is verbal.
sent1 -> int7: if the fact that the choppiness is bulimic or it is not a Jassidae or both is not correct it is verbal.;
$hypothesis$ = the choppiness is verbal. ; $context$ = sent1: something is verbal if that it is a kind of a bulimic or it is not a Jassidae or both is wrong. sent2: if the cryptocoryne is a kind of an accusation then the weigher does not dwindle and it is not a dated. sent3: the weigher is a Jassidae if the choppiness is not a absolver and it does not stickle chainsaw. sent4: something is a bulimic if it is a absolver. sent5: that the choppiness is a absolver that does not stickle chainsaw is not right. sent6: the fact that the weigher is not a Jassidae is right. sent7: the choppiness is not a absolver. sent8: that the cryptocoryne is an accusation is true if the deerstalker is an accusation. sent9: the choppiness is a kind of a penguin. sent10: something is a bulimic if that it is not a kind of a absolver and does not stickle chainsaw is not right. sent11: the ration does not stickle chainsaw. sent12: if the choppiness is a kind of a absolver but it does not stickle chainsaw the weigher is a kind of a Jassidae. sent13: the choppiness is a bulimic if it is a absolver. sent14: if the choppiness is a kind of a bulimic and it is a kind of a penguin then it is not verbal. sent15: if the chainsaw is cecal then the deerstalker is an accusation. ; $proof$ = 
void -> assump1: Let's assume that the choppiness is not a absolver and it does not stickle chainsaw.; sent3 & assump1 -> int1: the weigher is a Jassidae.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the choppiness is not a absolver and it does not stickle chainsaw does not hold.; sent10 -> int4: the choppiness is bulimic if the fact that it is not a absolver and does not stickle chainsaw is false.; int3 & int4 -> int5: the choppiness is bulimic.; int5 & sent9 -> int6: the choppiness is both a bulimic and a penguin.; int6 & sent14 -> hypothesis; __DISPROVED__