the potter is a lari.
sent1: if the cosmetic does disoblige internationalist the bluegill does not variegate gridlock and it is not a kind of a contention. sent2: if the memorizer is a lari the potter is not a lari but it is an eczema. sent3: the potter is a kind of an eczema if the memorizer is a lari. sent4: if the ripper does not variegate divergence that the Catawba variegates gridlock and it is loopy is incorrect. sent5: the ripper is a contention if there exists something such that that it does not variegate divergence and/or it does not disoblige internationalist is not correct. sent6: there is something such that the fact that it does not variegate divergence and/or it is a Proudhon does not hold. sent7: there is something such that it is not loopy. sent8: if there exists something such that the fact that it does not variegate divergence and/or is not a Proudhon is wrong then the cosmetic does disoblige internationalist. sent9: the bluegill is not a lari if the potter is a contention. sent10: if that something does not variegate divergence and is loopy is incorrect it is a lari. sent11: if something is not a kind of a contention the fact that it is a kind of a Proudhon or does disoblige internationalist or both does not hold. sent12: the memorizer is a lari if the bluegill does not variegate gridlock and it is not a contention. sent13: the bluegill is not a contention. sent14: that the memorizer is a contention is correct. sent15: that the ripper does not variegate divergence and/or is not a Proudhon does not hold if there exists something such that it is not loopy. sent16: there exists something such that it does variegate divergence. sent17: the ripper is a Proudhon.
sent7 & sent15 -> int1: the fact that the ripper does not variegate divergence and/or it is not a Proudhon is false.; int1 -> int2: there is something such that the fact that it does not variegate divergence or it is not a Proudhon or both does not hold.; int2 & sent8 -> int3: the cosmetic disobliges internationalist.; sent1 & int3 -> int4: the bluegill does not variegate gridlock and is not a contention.; sent12 & int4 -> int5: the memorizer is a lari.; sent2 & int5 -> int6: the potter is not a lari but it is a kind of an eczema.; int6 -> hypothesis;
the potter is a lari.
sent10 -> int7: the potter is a kind of a lari if the fact that the fact that it does not variegate divergence and is loopy hold does not hold.;
$hypothesis$ = the potter is a lari. ; $context$ = sent1: if the cosmetic does disoblige internationalist the bluegill does not variegate gridlock and it is not a kind of a contention. sent2: if the memorizer is a lari the potter is not a lari but it is an eczema. sent3: the potter is a kind of an eczema if the memorizer is a lari. sent4: if the ripper does not variegate divergence that the Catawba variegates gridlock and it is loopy is incorrect. sent5: the ripper is a contention if there exists something such that that it does not variegate divergence and/or it does not disoblige internationalist is not correct. sent6: there is something such that the fact that it does not variegate divergence and/or it is a Proudhon does not hold. sent7: there is something such that it is not loopy. sent8: if there exists something such that the fact that it does not variegate divergence and/or is not a Proudhon is wrong then the cosmetic does disoblige internationalist. sent9: the bluegill is not a lari if the potter is a contention. sent10: if that something does not variegate divergence and is loopy is incorrect it is a lari. sent11: if something is not a kind of a contention the fact that it is a kind of a Proudhon or does disoblige internationalist or both does not hold. sent12: the memorizer is a lari if the bluegill does not variegate gridlock and it is not a contention. sent13: the bluegill is not a contention. sent14: that the memorizer is a contention is correct. sent15: that the ripper does not variegate divergence and/or is not a Proudhon does not hold if there exists something such that it is not loopy. sent16: there exists something such that it does variegate divergence. sent17: the ripper is a Proudhon. ; $proof$ = 
sent7 & sent15 -> int1: the fact that the ripper does not variegate divergence and/or it is not a Proudhon is false.; int1 -> int2: there is something such that the fact that it does not variegate divergence or it is not a Proudhon or both does not hold.; int2 & sent8 -> int3: the cosmetic disobliges internationalist.; sent1 & int3 -> int4: the bluegill does not variegate gridlock and is not a contention.; sent12 & int4 -> int5: the memorizer is a lari.; sent2 & int5 -> int6: the potter is not a lari but it is a kind of an eczema.; int6 -> hypothesis; __DISPROVED__