the magnetograph is a fountain.
sent1: the fact that the Wampanoag is not papilliform and it is not a smog is not correct if it is undescriptive. sent2: the Wampanoag is undescriptive but it is not a kind of a patriarch if the energizer pieces flour. sent3: something is not a kind of a chieftaincy or it is not papilliform or both if it is not undescriptive. sent4: if something is a kind of a canonist then it is a kind of a fountain. sent5: the energizer pieces flour. sent6: that the pentaerythritol is not a kind of an architect and does piece delegate is not true if the sprag is not a chieftaincy. sent7: the oxygenase is a kind of a smog if there exists something such that that it is not papilliform and not a smog does not hold. sent8: the magnetograph does piece delegate and it is a canonist. sent9: the magnetograph does piece delegate. sent10: that the sprag is a kind of an architect that is a kind of a fountain is not right if the oxygenase is not a chieftaincy. sent11: the energizer is not a patriarch. sent12: the fact that the sprag is not a kind of a chieftaincy if the oxygenase is a kind of a smog is not incorrect. sent13: if something does not piece flour that it is a kind of canonist a smog is incorrect. sent14: the stipendiary itinerates if that the chincherinchee does not itinerates but it pieces delegate does not hold. sent15: the oxygenase is not a chieftaincy if the Wampanoag is not a chieftaincy. sent16: if there is something such that the fact that it is a kind of an architect that is a fountain is wrong that the stipendiary does piece expedience hold. sent17: the chincherinchee is not a canonist if the fact that the pentaerythritol is a canonist and is a smog does not hold. sent18: if the origanum is a kind of a fingerboard then it is topical. sent19: the oxygenase is not a kind of a chieftaincy if the Wampanoag is not papilliform. sent20: that something does not itinerate and pieces delegate is not correct if it is not a kind of a canonist.
sent4 -> int1: if the magnetograph is a kind of a canonist it is a fountain.; sent8 -> int2: the magnetograph is not non-canonist.; int1 & int2 -> hypothesis;
the magnetograph is not a kind of a fountain.
sent2 & sent5 -> int3: the fact that the Wampanoag is undescriptive and is not a kind of a patriarch is not false.; int3 -> int4: the Wampanoag is undescriptive.; sent1 & int4 -> int5: the fact that that the Wampanoag is not papilliform and it is not a smog is correct is wrong.; int5 -> int6: there is something such that the fact that it is not papilliform and not a smog is not right.; int6 & sent7 -> int7: the oxygenase is a smog.; sent12 & int7 -> int8: the sprag is not a chieftaincy.; sent6 & int8 -> int9: that the pentaerythritol is not a kind of an architect and does piece delegate does not hold.; int9 -> int10: there is something such that the fact that it is not a kind of an architect and it pieces delegate is incorrect.;
$hypothesis$ = the magnetograph is a fountain. ; $context$ = sent1: the fact that the Wampanoag is not papilliform and it is not a smog is not correct if it is undescriptive. sent2: the Wampanoag is undescriptive but it is not a kind of a patriarch if the energizer pieces flour. sent3: something is not a kind of a chieftaincy or it is not papilliform or both if it is not undescriptive. sent4: if something is a kind of a canonist then it is a kind of a fountain. sent5: the energizer pieces flour. sent6: that the pentaerythritol is not a kind of an architect and does piece delegate is not true if the sprag is not a chieftaincy. sent7: the oxygenase is a kind of a smog if there exists something such that that it is not papilliform and not a smog does not hold. sent8: the magnetograph does piece delegate and it is a canonist. sent9: the magnetograph does piece delegate. sent10: that the sprag is a kind of an architect that is a kind of a fountain is not right if the oxygenase is not a chieftaincy. sent11: the energizer is not a patriarch. sent12: the fact that the sprag is not a kind of a chieftaincy if the oxygenase is a kind of a smog is not incorrect. sent13: if something does not piece flour that it is a kind of canonist a smog is incorrect. sent14: the stipendiary itinerates if that the chincherinchee does not itinerates but it pieces delegate does not hold. sent15: the oxygenase is not a chieftaincy if the Wampanoag is not a chieftaincy. sent16: if there is something such that the fact that it is a kind of an architect that is a fountain is wrong that the stipendiary does piece expedience hold. sent17: the chincherinchee is not a canonist if the fact that the pentaerythritol is a canonist and is a smog does not hold. sent18: if the origanum is a kind of a fingerboard then it is topical. sent19: the oxygenase is not a kind of a chieftaincy if the Wampanoag is not papilliform. sent20: that something does not itinerate and pieces delegate is not correct if it is not a kind of a canonist. ; $proof$ = 
sent4 -> int1: if the magnetograph is a kind of a canonist it is a fountain.; sent8 -> int2: the magnetograph is not non-canonist.; int1 & int2 -> hypothesis; __PROVED__