if the julep is unsatisfactory then that the downcast does not sleep ONI and is inaesthetic is incorrect.
sent1: if the julep does sleep ONI then the downcast does not sleep ONI and is inaesthetic. sent2: the fuchsia is mayoral. sent3: the downcast is not a Anguillan and is a kind of a charcuterie. sent4: the downcast is a charcuterie. sent5: that something is a kind of mayoral thing that is a kind of a charcuterie is not correct if it does not sleep ONI. sent6: the downcast is not a Halifax. sent7: the fact that the fact that the downcast sleeps ONI and is inaesthetic is not incorrect is wrong. sent8: if the julep is unsatisfactory the downcast does not sleep ONI and is inaesthetic. sent9: the fact that the downcast does not sleep ONI but it is inaesthetic is incorrect if the julep does sleep ONI. sent10: something that is not a charcuterie is not unsatisfactory. sent11: if the julep is not satisfactory the fact that the downcast sleeps ONI and is inaesthetic is wrong. sent12: if the julep sleeps ONI then the fact that the downcast sleeps ONI and it is inaesthetic does not hold. sent13: something is not unsatisfactory if that it is mayoral thing that is a kind of a charcuterie does not hold. sent14: that the julep is not unsatisfactory is not wrong if it is not a kind of a charcuterie.
sent5 -> int1: if the julep does not sleep ONI then the fact that it is mayoral and it is a kind of a charcuterie is wrong.; void -> assump1: Let's assume that the julep does not sleep ONI.; int1 & assump1 -> int2: that the julep is mayoral thing that is a charcuterie does not hold.; sent13 -> int3: if that the julep is mayoral thing that is a charcuterie is not correct it is not unsatisfactory.; int2 & int3 -> int4: the julep is not unsatisfactory.; void -> assump2: Let's assume that the julep is unsatisfactory.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the julep does sleep ONI hold.; int6 & sent9 -> int7: the fact that the downcast does not sleep ONI and is inaesthetic is incorrect.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the julep is unsatisfactory then that the downcast does not sleep ONI and is inaesthetic is incorrect. ; $context$ = sent1: if the julep does sleep ONI then the downcast does not sleep ONI and is inaesthetic. sent2: the fuchsia is mayoral. sent3: the downcast is not a Anguillan and is a kind of a charcuterie. sent4: the downcast is a charcuterie. sent5: that something is a kind of mayoral thing that is a kind of a charcuterie is not correct if it does not sleep ONI. sent6: the downcast is not a Halifax. sent7: the fact that the fact that the downcast sleeps ONI and is inaesthetic is not incorrect is wrong. sent8: if the julep is unsatisfactory the downcast does not sleep ONI and is inaesthetic. sent9: the fact that the downcast does not sleep ONI but it is inaesthetic is incorrect if the julep does sleep ONI. sent10: something that is not a charcuterie is not unsatisfactory. sent11: if the julep is not satisfactory the fact that the downcast sleeps ONI and is inaesthetic is wrong. sent12: if the julep sleeps ONI then the fact that the downcast sleeps ONI and it is inaesthetic does not hold. sent13: something is not unsatisfactory if that it is mayoral thing that is a kind of a charcuterie does not hold. sent14: that the julep is not unsatisfactory is not wrong if it is not a kind of a charcuterie. ; $proof$ = 
sent5 -> int1: if the julep does not sleep ONI then the fact that it is mayoral and it is a kind of a charcuterie is wrong.; void -> assump1: Let's assume that the julep does not sleep ONI.; int1 & assump1 -> int2: that the julep is mayoral thing that is a charcuterie does not hold.; sent13 -> int3: if that the julep is mayoral thing that is a charcuterie is not correct it is not unsatisfactory.; int2 & int3 -> int4: the julep is not unsatisfactory.; void -> assump2: Let's assume that the julep is unsatisfactory.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the julep does sleep ONI hold.; int6 & sent9 -> int7: the fact that the downcast does not sleep ONI and is inaesthetic is incorrect.; [assump2] & int7 -> hypothesis; __PROVED__