the triptych does rumple and/or it does scoff.
sent1: if that something is both intercontinental and profane is wrong then it is not a paean. sent2: that something does rumple and/or it scoffs does not hold if it is not a paean. sent3: if the shoe does not powder mascot then the ctenidium is restless and/or it is a reciprocity. sent4: there exists something such that the fact that it is not legato and/or it is a good-temperedness does not hold. sent5: there exists something such that that it does powder mascot and it does wrestle inapplicability is not correct. sent6: the shoe is not a jabiru. sent7: the triptych rumples or scoffs or both if something is restless. sent8: the tabasco is not a paean if there is something such that that it is not legato and/or it is a kind of a good-temperedness is false. sent9: something is not profane if it is not a paean and it is not intercontinental. sent10: that the shoe is both a reciprocity and not a jabiru if the ctenidium is not profane is right. sent11: if a reciprocity is not a jabiru then it is restless. sent12: the shoe is not intercontinental. sent13: the ctenidium is both not a paean and not intercontinental if the tabasco is not a paean.
sent4 & sent8 -> int1: the tabasco is not a paean.; int1 & sent13 -> int2: the ctenidium is not a paean and it is not intercontinental.; sent9 -> int3: if the ctenidium is not a paean and it is not intercontinental it is not profane.; int2 & int3 -> int4: the ctenidium is not profane.; int4 & sent10 -> int5: the shoe is a kind of a reciprocity but it is not a jabiru.; sent11 -> int6: if the shoe is a reciprocity but it is not a jabiru then it is restless.; int5 & int6 -> int7: the shoe is not restful.; int7 -> int8: there are restless things.; int8 & sent7 -> hypothesis;
that the triptych rumples and/or it scoffs is not correct.
sent2 -> int9: the fact that the triptych does rumple and/or scoffs is not correct if it is not a kind of a paean.; sent1 -> int10: that the triptych is not a paean is not incorrect if the fact that it is intercontinental and not non-profane is not true.;
$hypothesis$ = the triptych does rumple and/or it does scoff. ; $context$ = sent1: if that something is both intercontinental and profane is wrong then it is not a paean. sent2: that something does rumple and/or it scoffs does not hold if it is not a paean. sent3: if the shoe does not powder mascot then the ctenidium is restless and/or it is a reciprocity. sent4: there exists something such that the fact that it is not legato and/or it is a good-temperedness does not hold. sent5: there exists something such that that it does powder mascot and it does wrestle inapplicability is not correct. sent6: the shoe is not a jabiru. sent7: the triptych rumples or scoffs or both if something is restless. sent8: the tabasco is not a paean if there is something such that that it is not legato and/or it is a kind of a good-temperedness is false. sent9: something is not profane if it is not a paean and it is not intercontinental. sent10: that the shoe is both a reciprocity and not a jabiru if the ctenidium is not profane is right. sent11: if a reciprocity is not a jabiru then it is restless. sent12: the shoe is not intercontinental. sent13: the ctenidium is both not a paean and not intercontinental if the tabasco is not a paean. ; $proof$ = 
sent4 & sent8 -> int1: the tabasco is not a paean.; int1 & sent13 -> int2: the ctenidium is not a paean and it is not intercontinental.; sent9 -> int3: if the ctenidium is not a paean and it is not intercontinental it is not profane.; int2 & int3 -> int4: the ctenidium is not profane.; int4 & sent10 -> int5: the shoe is a kind of a reciprocity but it is not a jabiru.; sent11 -> int6: if the shoe is a reciprocity but it is not a jabiru then it is restless.; int5 & int6 -> int7: the shoe is not restful.; int7 -> int8: there are restless things.; int8 & sent7 -> hypothesis; __PROVED__