the broadloom is not a Bayonne.
sent1: if something is not a candlenut that it is generous is true. sent2: that the broadloom urticates kern is correct if the subtilin is an arm but it does not urticates kern. sent3: the fact that the kern does not anticipate and does incriminate expressionist is not correct if it is generous. sent4: the kern is a kind of proverbial thing that does not incriminate Pennisetum if the subtilin is not easy. sent5: if something does urticate kern it is not a Bayonne and is easy. sent6: if a proverbial thing does not incriminate Pennisetum the kern is a kind of a Bayonne. sent7: there are proverbial things. sent8: the broadloom is a Bayonne if something that is proverbial does not incriminate Pennisetum. sent9: something arms and does not urticate kern if it is criminological. sent10: everything is not suctorial or not a candlenut or both. sent11: something does not incriminate Pennisetum. sent12: the kern is proverbial if the subtilin is not easy. sent13: the subtilin is not easy. sent14: if something is not suctorial then it is generous. sent15: a non-prodromal thing is a kind of criminological thing that is not a agave.
sent4 & sent13 -> int1: the kern is proverbial but it does not incriminate Pennisetum.; int1 -> int2: something is proverbial but it does not incriminate Pennisetum.; int2 & sent8 -> hypothesis;
the broadloom is not a Bayonne.
sent5 -> int3: the broadloom is not a Bayonne but easy if it does urticate kern.; sent9 -> int4: the subtilin is an arm but it does not urticate kern if it is criminological.; sent15 -> int5: the subtilin is criminological and not a agave if it is not prodromal.; sent10 -> int6: either the kern is not suctorial or it is not a candlenut or both.; sent14 -> int7: the fact that the kern is ungenerous is wrong if it is not suctorial.; sent1 -> int8: the kern is generous if it is not a candlenut.; int6 & int7 & int8 -> int9: the kern is generous.; sent3 & int9 -> int10: the fact that the kern does not anticipate but it incriminates expressionist is not correct.; int10 -> int11: there exists something such that that it does not anticipate and it does incriminate expressionist is wrong.;
$hypothesis$ = the broadloom is not a Bayonne. ; $context$ = sent1: if something is not a candlenut that it is generous is true. sent2: that the broadloom urticates kern is correct if the subtilin is an arm but it does not urticates kern. sent3: the fact that the kern does not anticipate and does incriminate expressionist is not correct if it is generous. sent4: the kern is a kind of proverbial thing that does not incriminate Pennisetum if the subtilin is not easy. sent5: if something does urticate kern it is not a Bayonne and is easy. sent6: if a proverbial thing does not incriminate Pennisetum the kern is a kind of a Bayonne. sent7: there are proverbial things. sent8: the broadloom is a Bayonne if something that is proverbial does not incriminate Pennisetum. sent9: something arms and does not urticate kern if it is criminological. sent10: everything is not suctorial or not a candlenut or both. sent11: something does not incriminate Pennisetum. sent12: the kern is proverbial if the subtilin is not easy. sent13: the subtilin is not easy. sent14: if something is not suctorial then it is generous. sent15: a non-prodromal thing is a kind of criminological thing that is not a agave. ; $proof$ = 
sent4 & sent13 -> int1: the kern is proverbial but it does not incriminate Pennisetum.; int1 -> int2: something is proverbial but it does not incriminate Pennisetum.; int2 & sent8 -> hypothesis; __DISPROVED__