either the greenbelt is not a kind of a coalpit or it is not a kind of a Islay or both.
sent1: there is nothing such that it is not a printmaker and it is a kind of a uncial. sent2: there exists nothing such that it does not clank snapdragon and does travesty greenbelt. sent3: the greenbelt is not a coalpit if the potboy is not a Aotus. sent4: the potboy does not clank lisp. sent5: the greenbelt is a kind of a coalpit and/or is not a kind of a Islay. sent6: that the greenbelt is not a kind of a Islay and/or is not rhythmical hold. sent7: the fact that the greenbelt is not a Islay but it is a Aotus does not hold. sent8: either the potboy is not a Islay or it is unrhythmical or both. sent9: there is nothing that is non-rhythmical thing that is a kind of a Aotus. sent10: if the fact that the potboy is unrhythmical a Aotus is wrong then that the greenbelt is not a kind of a coalpit is not wrong. sent11: there exists nothing that is a kind of non-estrous thing that clanks inattention. sent12: if the mineshaft is not ascitic the fact that the greenbelt is not a coalpit and/or it is not a Islay is false. sent13: the antibody does travesty Okinawa if the potter travesty Okinawa. sent14: the greenbelt is not a kind of a coalpit and/or is a kind of a Islay. sent15: that if the fact that the antibody does travesty Okinawa is not false the paragon travesty Okinawa is correct. sent16: something is not a grade.
sent9 -> int1: that the potboy is a kind of unrhythmical a Aotus is not right.; sent10 & int1 -> int2: the greenbelt is not a coalpit.; int2 -> hypothesis;
that either the greenbelt is not a kind of a coalpit or it is not a Islay or both is not right.
$hypothesis$ = either the greenbelt is not a kind of a coalpit or it is not a kind of a Islay or both. ; $context$ = sent1: there is nothing such that it is not a printmaker and it is a kind of a uncial. sent2: there exists nothing such that it does not clank snapdragon and does travesty greenbelt. sent3: the greenbelt is not a coalpit if the potboy is not a Aotus. sent4: the potboy does not clank lisp. sent5: the greenbelt is a kind of a coalpit and/or is not a kind of a Islay. sent6: that the greenbelt is not a kind of a Islay and/or is not rhythmical hold. sent7: the fact that the greenbelt is not a Islay but it is a Aotus does not hold. sent8: either the potboy is not a Islay or it is unrhythmical or both. sent9: there is nothing that is non-rhythmical thing that is a kind of a Aotus. sent10: if the fact that the potboy is unrhythmical a Aotus is wrong then that the greenbelt is not a kind of a coalpit is not wrong. sent11: there exists nothing that is a kind of non-estrous thing that clanks inattention. sent12: if the mineshaft is not ascitic the fact that the greenbelt is not a coalpit and/or it is not a Islay is false. sent13: the antibody does travesty Okinawa if the potter travesty Okinawa. sent14: the greenbelt is not a kind of a coalpit and/or is a kind of a Islay. sent15: that if the fact that the antibody does travesty Okinawa is not false the paragon travesty Okinawa is correct. sent16: something is not a grade. ; $proof$ = 
sent9 -> int1: that the potboy is a kind of unrhythmical a Aotus is not right.; sent10 & int1 -> int2: the greenbelt is not a coalpit.; int2 -> hypothesis; __PROVED__