the Ballistite is daisylike.
sent1: if the chromium is not an overture the belt is not a antiphonary. sent2: the niche is not a antiphonary. sent3: if the niche is not a antiphonary then it is non-fungicidal an overture. sent4: if the levallorphan is a memorial then the Ballistite is daisylike. sent5: the chromium is not an overture if the fact that the niche is not a kind of a Armenian and it is not fungicidal is incorrect. sent6: the levallorphan is a kind of a memorial if the cloister is inconvertible. sent7: the woodruff is both Armenian and phonics. sent8: the Singer is daisylike if the niche is a kind of an overture. sent9: if the belt is not a kind of a antiphonary the cloister is oleophobic thing that is inconvertible. sent10: if the woodruff is a Armenian that the fact that the niche is not a kind of a Armenian and it is not fungicidal does not hold is true.
sent7 -> int1: the woodruff is a Armenian.; sent10 & int1 -> int2: the fact that the niche is not a Armenian and it is not fungicidal is not correct.; sent5 & int2 -> int3: the chromium is not an overture.; sent1 & int3 -> int4: the belt is not a antiphonary.; sent9 & int4 -> int5: the cloister is both not non-oleophobic and inconvertible.; int5 -> int6: the cloister is inconvertible.; sent6 & int6 -> int7: the levallorphan is a memorial.; sent4 & int7 -> hypothesis;
the Singer is daisylike and it does intensify.
sent3 & sent2 -> int8: the niche is not fungicidal but it is a kind of an overture.; int8 -> int9: the niche is a kind of an overture.; sent8 & int9 -> int10: the Singer is daisylike.;
$hypothesis$ = the Ballistite is daisylike. ; $context$ = sent1: if the chromium is not an overture the belt is not a antiphonary. sent2: the niche is not a antiphonary. sent3: if the niche is not a antiphonary then it is non-fungicidal an overture. sent4: if the levallorphan is a memorial then the Ballistite is daisylike. sent5: the chromium is not an overture if the fact that the niche is not a kind of a Armenian and it is not fungicidal is incorrect. sent6: the levallorphan is a kind of a memorial if the cloister is inconvertible. sent7: the woodruff is both Armenian and phonics. sent8: the Singer is daisylike if the niche is a kind of an overture. sent9: if the belt is not a kind of a antiphonary the cloister is oleophobic thing that is inconvertible. sent10: if the woodruff is a Armenian that the fact that the niche is not a kind of a Armenian and it is not fungicidal does not hold is true. ; $proof$ = 
sent7 -> int1: the woodruff is a Armenian.; sent10 & int1 -> int2: the fact that the niche is not a Armenian and it is not fungicidal is not correct.; sent5 & int2 -> int3: the chromium is not an overture.; sent1 & int3 -> int4: the belt is not a antiphonary.; sent9 & int4 -> int5: the cloister is both not non-oleophobic and inconvertible.; int5 -> int6: the cloister is inconvertible.; sent6 & int6 -> int7: the levallorphan is a memorial.; sent4 & int7 -> hypothesis; __PROVED__