the puddingwife is both not a marsupial and puritanical.
sent1: the fact that the jiggermast is a kind of a guttersnipe is not wrong if it does not surprise goby and it is a Namibian. sent2: the nincompoop surprises goby if the frock is a guttersnipe. sent3: that something is both not maritime and a firebrick is incorrect if it is a kind of a guttersnipe. sent4: if something that is a firebrick is a bactericide then the frock is maritime. sent5: if the fact that the jiggermast is not maritime but it is a firebrick does not hold the nincompoop is not a bactericide. sent6: if the frock is a kind of puritanical a rofecoxib then the facade is not puritanical. sent7: the facade is a firebrick. sent8: the puddingwife is puritanical. sent9: if the nincompoop is not a bactericide the frock is puritanical and it is a rofecoxib. sent10: there exists something such that it is a firebrick. sent11: the facade is a bactericide that is not a rofecoxib. sent12: there is something such that it is a bactericide. sent13: the facade is not a kind of a rofecoxib. sent14: something is a guttersnipe if it is maritime. sent15: if something is a Namibian then it is not a marsupial and it is puritanical.
sent11 -> int1: the facade is a kind of a bactericide.; int1 & sent7 -> int2: the facade is a firebrick and is a kind of a bactericide.; int2 -> int3: there exists something such that it is both a firebrick and a bactericide.; int3 & sent4 -> int4: the frock is maritime.; sent14 -> int5: if the fact that the frock is maritime is not wrong then it is a guttersnipe.; int4 & int5 -> int6: that the frock is a guttersnipe is correct.; int6 & sent2 -> int7: the nincompoop does surprise goby.; sent15 -> int8: the puddingwife is not marsupial but it is not non-puritanical if it is a Namibian.;
the fact that the puddingwife is not a marsupial but it is puritanical is false.
sent3 -> int9: if the jiggermast is a guttersnipe the fact that it is not maritime and it is a firebrick is wrong.;
$hypothesis$ = the puddingwife is both not a marsupial and puritanical. ; $context$ = sent1: the fact that the jiggermast is a kind of a guttersnipe is not wrong if it does not surprise goby and it is a Namibian. sent2: the nincompoop surprises goby if the frock is a guttersnipe. sent3: that something is both not maritime and a firebrick is incorrect if it is a kind of a guttersnipe. sent4: if something that is a firebrick is a bactericide then the frock is maritime. sent5: if the fact that the jiggermast is not maritime but it is a firebrick does not hold the nincompoop is not a bactericide. sent6: if the frock is a kind of puritanical a rofecoxib then the facade is not puritanical. sent7: the facade is a firebrick. sent8: the puddingwife is puritanical. sent9: if the nincompoop is not a bactericide the frock is puritanical and it is a rofecoxib. sent10: there exists something such that it is a firebrick. sent11: the facade is a bactericide that is not a rofecoxib. sent12: there is something such that it is a bactericide. sent13: the facade is not a kind of a rofecoxib. sent14: something is a guttersnipe if it is maritime. sent15: if something is a Namibian then it is not a marsupial and it is puritanical. ; $proof$ = 
sent11 -> int1: the facade is a kind of a bactericide.; int1 & sent7 -> int2: the facade is a firebrick and is a kind of a bactericide.; int2 -> int3: there exists something such that it is both a firebrick and a bactericide.; int3 & sent4 -> int4: the frock is maritime.; sent14 -> int5: if the fact that the frock is maritime is not wrong then it is a guttersnipe.; int4 & int5 -> int6: that the frock is a guttersnipe is correct.; int6 & sent2 -> int7: the nincompoop does surprise goby.; sent15 -> int8: the puddingwife is not marsupial but it is not non-puritanical if it is a Namibian.; __UNKNOWN__