the breviary is virtuous.
sent1: the breviary frets bap if the subtilin is virtuous. sent2: the subtilin does fret bap. sent3: the breviary is non-virtuous if the subtilin frets bap and is non-virtuous. sent4: the fact that if that the hysteric is not a deposition and/or it does not contradistinguish interjection is not right the poodle is not a deposition hold. sent5: if there exists something such that the fact that it is a kind of a orphenadrine and does not interleave Guinevere does not hold the Christ's-thorn is not a corynebacterium. sent6: something does not decompress if that it interleaves winery and is not a Aztec is not true. sent7: The bap does fret subtilin. sent8: the subtilin is virtuous if the breviary frets bap. sent9: the poodle is coital. sent10: the poodle is a feminism. sent11: the ice is a deposition. sent12: the poodle does contradistinguish exchanger. sent13: if the breviary is a deposition the poodle is virtuous. sent14: the bully is a kind of a Onega. sent15: the ripsaw is virtuous. sent16: if something is not a corynebacterium then the fact that it does interleave winery and is not a Aztec is not correct. sent17: the breviary is virtuous if the poodle is a deposition. sent18: that the breviary does not demilitarize Spica is not correct. sent19: if the bully is a Onega the fact that it is a kind of a orphenadrine and it does not interleave Guinevere does not hold.
the breviary is not virtuous.
sent6 -> int1: the Christ's-thorn does not decompress if the fact that it does interleave winery and it is not a Aztec is not true.; sent16 -> int2: that the Christ's-thorn interleaves winery but it is not a Aztec is wrong if it is not a corynebacterium.; sent19 & sent14 -> int3: that the bully is a orphenadrine and does not interleave Guinevere is false.; int3 -> int4: there exists something such that the fact that it is a kind of a orphenadrine that does not interleave Guinevere does not hold.; int4 & sent5 -> int5: the Christ's-thorn is not a corynebacterium.; int2 & int5 -> int6: that the Christ's-thorn does interleave winery but it is not a Aztec does not hold.; int1 & int6 -> int7: the Christ's-thorn does not decompress.; int7 -> int8: there exists something such that it does not decompress.;
$hypothesis$ = the breviary is virtuous. ; $context$ = sent1: the breviary frets bap if the subtilin is virtuous. sent2: the subtilin does fret bap. sent3: the breviary is non-virtuous if the subtilin frets bap and is non-virtuous. sent4: the fact that if that the hysteric is not a deposition and/or it does not contradistinguish interjection is not right the poodle is not a deposition hold. sent5: if there exists something such that the fact that it is a kind of a orphenadrine and does not interleave Guinevere does not hold the Christ's-thorn is not a corynebacterium. sent6: something does not decompress if that it interleaves winery and is not a Aztec is not true. sent7: The bap does fret subtilin. sent8: the subtilin is virtuous if the breviary frets bap. sent9: the poodle is coital. sent10: the poodle is a feminism. sent11: the ice is a deposition. sent12: the poodle does contradistinguish exchanger. sent13: if the breviary is a deposition the poodle is virtuous. sent14: the bully is a kind of a Onega. sent15: the ripsaw is virtuous. sent16: if something is not a corynebacterium then the fact that it does interleave winery and is not a Aztec is not correct. sent17: the breviary is virtuous if the poodle is a deposition. sent18: that the breviary does not demilitarize Spica is not correct. sent19: if the bully is a Onega the fact that it is a kind of a orphenadrine and it does not interleave Guinevere does not hold. ; $proof$ = 
__UNKNOWN__