the chou is not aboral.
sent1: there is something such that it is a quadrant. sent2: if that the vinyl is unpermissive thing that is an assay is false then the splinter is a quadrant. sent3: if that something does metabolize synagogue and it is unrecoverable is not correct that it is not an audible is correct. sent4: if the Boulder is not chaetal then the splinter is a quadrant and not chaetal. sent5: if the Boulder is not a kind of a orienting the fact that it is a Shina and does sour is wrong. sent6: if that something is a kind of a Shina and is a kind of a souring does not hold it is not permissive. sent7: if something that is a quadrant is not chaetal the vinyl assays. sent8: the chou assays. sent9: the fact that the Aztec does not sour is right. sent10: something is a orienting and/or it is not chaetal if it is not a kind of a souring. sent11: if that the vinyl is a kind of an assay is correct the chou is aboral. sent12: the vinyl metabolizes myrmecophyte. sent13: if the splinter is both chaetal and a quadrant the chou is not aboral. sent14: if the splinter is a kind of a quadrant it does orient. sent15: there exists something such that it is a quadrant and chaetal. sent16: the splinter is a quadrant if the Boulder is not chaetal. sent17: the fact that the splinter is chaetal is not false if the Aztec orients. sent18: the Boulder does not orient. sent19: something is not unpermissive if it is chaetal. sent20: the splinter is a kind of a quadrant.
sent19 -> int1: the Boulder is permissive if it is chaetal.; void -> assump1: Let's assume that that the Boulder is chaetal hold.; int1 & assump1 -> int2: the Boulder is permissive.; sent6 -> int3: if the fact that the Boulder is both a Shina and a souring is incorrect then it is not permissive.; sent5 & sent18 -> int4: that the Boulder is both a Shina and a souring is wrong.; int3 & int4 -> int5: the Boulder is not permissive.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Boulder is not chaetal.; int7 & sent4 -> int8: the fact that the splinter is a quadrant but it is not chaetal is true.; int8 -> int9: something is a quadrant but it is not chaetal.; int9 & sent7 -> int10: the vinyl does assay.; int10 & sent11 -> hypothesis;
the chou is not aboral.
sent10 -> int11: if the Aztec is not a souring it is a orienting and/or is not chaetal.; int11 & sent9 -> int12: the Aztec does orient and/or it is not chaetal.;
$hypothesis$ = the chou is not aboral. ; $context$ = sent1: there is something such that it is a quadrant. sent2: if that the vinyl is unpermissive thing that is an assay is false then the splinter is a quadrant. sent3: if that something does metabolize synagogue and it is unrecoverable is not correct that it is not an audible is correct. sent4: if the Boulder is not chaetal then the splinter is a quadrant and not chaetal. sent5: if the Boulder is not a kind of a orienting the fact that it is a Shina and does sour is wrong. sent6: if that something is a kind of a Shina and is a kind of a souring does not hold it is not permissive. sent7: if something that is a quadrant is not chaetal the vinyl assays. sent8: the chou assays. sent9: the fact that the Aztec does not sour is right. sent10: something is a orienting and/or it is not chaetal if it is not a kind of a souring. sent11: if that the vinyl is a kind of an assay is correct the chou is aboral. sent12: the vinyl metabolizes myrmecophyte. sent13: if the splinter is both chaetal and a quadrant the chou is not aboral. sent14: if the splinter is a kind of a quadrant it does orient. sent15: there exists something such that it is a quadrant and chaetal. sent16: the splinter is a quadrant if the Boulder is not chaetal. sent17: the fact that the splinter is chaetal is not false if the Aztec orients. sent18: the Boulder does not orient. sent19: something is not unpermissive if it is chaetal. sent20: the splinter is a kind of a quadrant. ; $proof$ = 
sent19 -> int1: the Boulder is permissive if it is chaetal.; void -> assump1: Let's assume that that the Boulder is chaetal hold.; int1 & assump1 -> int2: the Boulder is permissive.; sent6 -> int3: if the fact that the Boulder is both a Shina and a souring is incorrect then it is not permissive.; sent5 & sent18 -> int4: that the Boulder is both a Shina and a souring is wrong.; int3 & int4 -> int5: the Boulder is not permissive.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Boulder is not chaetal.; int7 & sent4 -> int8: the fact that the splinter is a quadrant but it is not chaetal is true.; int8 -> int9: something is a quadrant but it is not chaetal.; int9 & sent7 -> int10: the vinyl does assay.; int10 & sent11 -> hypothesis; __DISPROVED__