the bayberry is a Po.
sent1: the coma is not a barrister and/or does not price Monet. sent2: if the wog is a hazardousness then the fact that it does not exclude Rayleigh and it is not a law is wrong. sent3: if the catechumen is not a kind of a dish then the coma is protective and a Frisian. sent4: the screwbean is not a kind of a Frisian. sent5: the coma is not a barrister or it prices Monet or both. sent6: the catechumen is not protective if either the coma is not a barrister or it does not price Monet or both. sent7: if something is not demagogic then it leafs and it is a diaper. sent8: the wog is not demagogic if that it does not exclude Rayleigh and is not a kind of a law is false. sent9: if the catechumen is not protective then the wog is both not protective and not a Frisian. sent10: if that something is not a diaper and is a bakery is false then it does not dish. sent11: the bayberry is not a kind of a Po if there exists something such that it is unprotective thing that is not a Frisian. sent12: the wog is a hazardousness. sent13: if the coma is not unprotective that the bayberry is a Po is right. sent14: the wog is not protective.
sent6 & sent1 -> int1: the catechumen is not protective.; sent9 & int1 -> int2: the wog is unprotective thing that is not a kind of a Frisian.; int2 -> int3: there exists something such that it is not protective but non-Frisian.; int3 & sent11 -> hypothesis;
the bayberry is a kind of a Po.
sent10 -> int4: the catechumen does not dish if that it is both not a diaper and a bakery is not right.; sent7 -> int5: the wog is a leaf and a diaper if it is not demagogic.; sent2 & sent12 -> int6: the fact that the wog does not exclude Rayleigh and is not a kind of a law is false.; sent8 & int6 -> int7: the wog is not demagogic.; int5 & int7 -> int8: the wog is a leaf and it is a diaper.; int8 -> int9: the wog is a diaper.; int9 -> int10: there is something such that it is a kind of a diaper.;
$hypothesis$ = the bayberry is a Po. ; $context$ = sent1: the coma is not a barrister and/or does not price Monet. sent2: if the wog is a hazardousness then the fact that it does not exclude Rayleigh and it is not a law is wrong. sent3: if the catechumen is not a kind of a dish then the coma is protective and a Frisian. sent4: the screwbean is not a kind of a Frisian. sent5: the coma is not a barrister or it prices Monet or both. sent6: the catechumen is not protective if either the coma is not a barrister or it does not price Monet or both. sent7: if something is not demagogic then it leafs and it is a diaper. sent8: the wog is not demagogic if that it does not exclude Rayleigh and is not a kind of a law is false. sent9: if the catechumen is not protective then the wog is both not protective and not a Frisian. sent10: if that something is not a diaper and is a bakery is false then it does not dish. sent11: the bayberry is not a kind of a Po if there exists something such that it is unprotective thing that is not a Frisian. sent12: the wog is a hazardousness. sent13: if the coma is not unprotective that the bayberry is a Po is right. sent14: the wog is not protective. ; $proof$ = 
sent6 & sent1 -> int1: the catechumen is not protective.; sent9 & int1 -> int2: the wog is unprotective thing that is not a kind of a Frisian.; int2 -> int3: there exists something such that it is not protective but non-Frisian.; int3 & sent11 -> hypothesis; __DISPROVED__