the kumquat is not ceremonious.
sent1: the kumquat is not ceremonious if something does julienne aureole and is a kind of a sunglass. sent2: the headliner is Puranic and does julienne aureole. sent3: there is something such that the fact that it does not julienne Garland and is irremediable does not hold. sent4: there exists something such that the fact that it does julienne Garland and is irremediable is not right. sent5: the headliner is a sunglass if there exists something such that that it does not julienne Garland and it is irremediable is wrong. sent6: if the headliner is not irremediable it does julienne aureole or it is a sunglass or both. sent7: something is a sunglass. sent8: the headliner is Puranic. sent9: the headliner is a sunglass if there is something such that it juliennes Garland. sent10: something does not julienne Garland but it is irremediable.
sent2 -> int1: the headliner juliennes aureole.; sent3 & sent5 -> int2: the headliner is a sunglass.; int1 & int2 -> int3: the headliner does julienne aureole and it is a sunglass.; int3 -> int4: something juliennes aureole and it is a sunglass.; int4 & sent1 -> hypothesis;
the headliner is nonsteroidal and it is not non-Puranic.
$hypothesis$ = the kumquat is not ceremonious. ; $context$ = sent1: the kumquat is not ceremonious if something does julienne aureole and is a kind of a sunglass. sent2: the headliner is Puranic and does julienne aureole. sent3: there is something such that the fact that it does not julienne Garland and is irremediable does not hold. sent4: there exists something such that the fact that it does julienne Garland and is irremediable is not right. sent5: the headliner is a sunglass if there exists something such that that it does not julienne Garland and it is irremediable is wrong. sent6: if the headliner is not irremediable it does julienne aureole or it is a sunglass or both. sent7: something is a sunglass. sent8: the headliner is Puranic. sent9: the headliner is a sunglass if there is something such that it juliennes Garland. sent10: something does not julienne Garland but it is irremediable. ; $proof$ = 
sent2 -> int1: the headliner juliennes aureole.; sent3 & sent5 -> int2: the headliner is a sunglass.; int1 & int2 -> int3: the headliner does julienne aureole and it is a sunglass.; int3 -> int4: something juliennes aureole and it is a sunglass.; int4 & sent1 -> hypothesis; __PROVED__