if the Oxford is a horoscope the automatism is Burundi.
sent1: if the cosmetic is a limber then it is not a horoscope. sent2: if that either the automatism does not abjure Lysichiton or it is not a horoscope or both does not hold then the creosol is affixal. sent3: if something is not a strait then it is not a limber and it does not abjure Lysichiton. sent4: that the creosol is not a trace and/or is not a kind of a Spizella is not true if it is a strait. sent5: if the backstroker does not up then that it is both not a trace and not a clarinet is not incorrect. sent6: the Oxford abjures Lysichiton. sent7: the creosol is affixal. sent8: the Oxford is not a Burundi if the fact that the automatism is not a limber or it is not a kind of a horoscope or both is not correct. sent9: the automatism is a limber. sent10: the automatism is not affixal if the creosol does not limber. sent11: the automatism is not a Spizella if the fact that the creosol is either not a limber or a trace or both is not true. sent12: that the Kanarese is not a kind of a strait and/or is not logarithmic is false. sent13: if the creosol is not a Spizella then it is not a kind of a horoscope. sent14: if the automatism does not abjure Lysichiton the creosol is not affixal. sent15: the creosol preserves Eusebius. sent16: if something does not abjure Lysichiton it is not a kind of a Spizella. sent17: the creosol is a kind of a Burundi. sent18: the Oxford is not a kind of a limber. sent19: the automatism is Burundi if it is not affixal.
void -> assump1: Let's assume that that the creosol is a strait is not wrong.; sent4 & assump1 -> int1: that the creosol is not a trace and/or is not a kind of a Spizella is false.; void -> assump2: Let's assume that the Oxford is a horoscope.; sent3 -> int2: the creosol is not a limber and it does not abjure Lysichiton if it is not a strait.;
the cosmetic is a Spizella.
$hypothesis$ = if the Oxford is a horoscope the automatism is Burundi. ; $context$ = sent1: if the cosmetic is a limber then it is not a horoscope. sent2: if that either the automatism does not abjure Lysichiton or it is not a horoscope or both does not hold then the creosol is affixal. sent3: if something is not a strait then it is not a limber and it does not abjure Lysichiton. sent4: that the creosol is not a trace and/or is not a kind of a Spizella is not true if it is a strait. sent5: if the backstroker does not up then that it is both not a trace and not a clarinet is not incorrect. sent6: the Oxford abjures Lysichiton. sent7: the creosol is affixal. sent8: the Oxford is not a Burundi if the fact that the automatism is not a limber or it is not a kind of a horoscope or both is not correct. sent9: the automatism is a limber. sent10: the automatism is not affixal if the creosol does not limber. sent11: the automatism is not a Spizella if the fact that the creosol is either not a limber or a trace or both is not true. sent12: that the Kanarese is not a kind of a strait and/or is not logarithmic is false. sent13: if the creosol is not a Spizella then it is not a kind of a horoscope. sent14: if the automatism does not abjure Lysichiton the creosol is not affixal. sent15: the creosol preserves Eusebius. sent16: if something does not abjure Lysichiton it is not a kind of a Spizella. sent17: the creosol is a kind of a Burundi. sent18: the Oxford is not a kind of a limber. sent19: the automatism is Burundi if it is not affixal. ; $proof$ = 
void -> assump1: Let's assume that that the creosol is a strait is not wrong.; sent4 & assump1 -> int1: that the creosol is not a trace and/or is not a kind of a Spizella is false.; void -> assump2: Let's assume that the Oxford is a horoscope.; sent3 -> int2: the creosol is not a limber and it does not abjure Lysichiton if it is not a strait.; __UNKNOWN__