the challah is libidinal if the filet does not cope quiddity and completes.
sent1: the challah is libidinal if the filet copes quiddity and it does complete. sent2: that the challah does not program cool and does lurch dextrorotation is not true. sent3: the seashore lurches dextrorotation if the filet does not cope quiddity but it does complete. sent4: if the seashore lurches dextrorotation then the fact that the challah does not program cool and does not lurches dextrorotation does not hold. sent5: something is libidinal if it lurches dextrorotation. sent6: if the filet does cope quiddity and it completes the seashore lurches dextrorotation. sent7: if that something does not program cool and does not lurch dextrorotation is not right it is libidinal.
void -> assump1: Let's assume that the filet does not cope quiddity and does complete.; sent3 & assump1 -> int1: the seashore does lurch dextrorotation.; int1 & sent4 -> int2: the fact that the challah does not program cool and does not lurch dextrorotation is not right.; sent7 -> int3: if that the challah does not program cool and does not lurch dextrorotation is wrong that it is libidinal is true.; int2 & int3 -> int4: the challah is libidinal.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the challah is libidinal if the filet does not cope quiddity and completes. ; $context$ = sent1: the challah is libidinal if the filet copes quiddity and it does complete. sent2: that the challah does not program cool and does lurch dextrorotation is not true. sent3: the seashore lurches dextrorotation if the filet does not cope quiddity but it does complete. sent4: if the seashore lurches dextrorotation then the fact that the challah does not program cool and does not lurches dextrorotation does not hold. sent5: something is libidinal if it lurches dextrorotation. sent6: if the filet does cope quiddity and it completes the seashore lurches dextrorotation. sent7: if that something does not program cool and does not lurch dextrorotation is not right it is libidinal. ; $proof$ = 
void -> assump1: Let's assume that the filet does not cope quiddity and does complete.; sent3 & assump1 -> int1: the seashore does lurch dextrorotation.; int1 & sent4 -> int2: the fact that the challah does not program cool and does not lurch dextrorotation is not right.; sent7 -> int3: if that the challah does not program cool and does not lurch dextrorotation is wrong that it is libidinal is true.; int2 & int3 -> int4: the challah is libidinal.; [assump1] & int4 -> hypothesis; __PROVED__