the arc-boutant is not a kind of a wright.
sent1: there is something such that it is a kind of a Paleozoic. sent2: the rustler is not a Aeolian. sent3: something does citify Campbell if it does braid Paguridae. sent4: if the voyager does braid schoolmarm the rustler is not a Aeolian. sent5: if the fact that something is not a wright and it is not a miniver does not hold then it is a wright. sent6: something is intercostal. sent7: there is something such that it is not cross-modal. sent8: the nitrobacteria does braid arc-boutant. sent9: there exists something such that the fact that it is a Aeolian hold. sent10: something is a kind of an epitome if it does braid Paguridae. sent11: the voyager does braid Paguridae if the rustler does not braid Paguridae and is a kind of a lwei. sent12: the nitrobacteria builds Lincoln. sent13: if the rustler citifies Campbell and is not a Aeolian then the arc-boutant is not a wright. sent14: if something that is a intercostal is not a kind of an epitome then it does not build Lincoln. sent15: the fact that the businessman is a intercostal is not incorrect if something does build Lincoln and is a kind of a miniver. sent16: something is an epitome. sent17: the arc-boutant is Aeolian. sent18: the arc-boutant is not intercostal. sent19: if there exists something such that it is not a kind of a Paleozoic then the fact that the businessman does not braid Paguridae does not hold. sent20: the rustler citifies Campbell but it is not a kind of a Aeolian if the voyager braids schoolmarm. sent21: the fact that the arc-boutant is not a kind of a wright and it is not a miniver is wrong if the fact that the businessman does not build Lincoln hold. sent22: the nitrobacteria does build Lincoln and it is a miniver. sent23: if something that is an epitome is intercostal then the voyager braids schoolmarm. sent24: something is a kind of intercostal thing that is not an epitome if it braids schoolmarm. sent25: the nitrobacteria is an epitome that builds Lincoln. sent26: there exists something such that it is a kind of a miniver.
sent22 -> int1: there exists something such that it builds Lincoln and it is a miniver.; int1 & sent15 -> int2: the businessman is a intercostal.; sent10 -> int3: if the businessman braids Paguridae it is an epitome.;
the arc-boutant is a wright.
sent5 -> int4: if the fact that the arc-boutant is not a wright and it is not a kind of a miniver is not right it is a wright.; sent14 -> int5: the businessman does not build Lincoln if it is a kind of a intercostal and it is not an epitome.; sent24 -> int6: the businessman is a kind of a intercostal that is not a kind of an epitome if it braids schoolmarm.; sent3 -> int7: if the voyager does braid Paguridae it does citify Campbell.;
$hypothesis$ = the arc-boutant is not a kind of a wright. ; $context$ = sent1: there is something such that it is a kind of a Paleozoic. sent2: the rustler is not a Aeolian. sent3: something does citify Campbell if it does braid Paguridae. sent4: if the voyager does braid schoolmarm the rustler is not a Aeolian. sent5: if the fact that something is not a wright and it is not a miniver does not hold then it is a wright. sent6: something is intercostal. sent7: there is something such that it is not cross-modal. sent8: the nitrobacteria does braid arc-boutant. sent9: there exists something such that the fact that it is a Aeolian hold. sent10: something is a kind of an epitome if it does braid Paguridae. sent11: the voyager does braid Paguridae if the rustler does not braid Paguridae and is a kind of a lwei. sent12: the nitrobacteria builds Lincoln. sent13: if the rustler citifies Campbell and is not a Aeolian then the arc-boutant is not a wright. sent14: if something that is a intercostal is not a kind of an epitome then it does not build Lincoln. sent15: the fact that the businessman is a intercostal is not incorrect if something does build Lincoln and is a kind of a miniver. sent16: something is an epitome. sent17: the arc-boutant is Aeolian. sent18: the arc-boutant is not intercostal. sent19: if there exists something such that it is not a kind of a Paleozoic then the fact that the businessman does not braid Paguridae does not hold. sent20: the rustler citifies Campbell but it is not a kind of a Aeolian if the voyager braids schoolmarm. sent21: the fact that the arc-boutant is not a kind of a wright and it is not a miniver is wrong if the fact that the businessman does not build Lincoln hold. sent22: the nitrobacteria does build Lincoln and it is a miniver. sent23: if something that is an epitome is intercostal then the voyager braids schoolmarm. sent24: something is a kind of intercostal thing that is not an epitome if it braids schoolmarm. sent25: the nitrobacteria is an epitome that builds Lincoln. sent26: there exists something such that it is a kind of a miniver. ; $proof$ = 
sent22 -> int1: there exists something such that it builds Lincoln and it is a miniver.; int1 & sent15 -> int2: the businessman is a intercostal.; sent10 -> int3: if the businessman braids Paguridae it is an epitome.; __UNKNOWN__