the liquefying lignum occurs if the liquefying vocal does not occur and the circularization does not occur.
sent1: the fact that the destaining occurs and the negligence occurs is not true. sent2: the liquefying vocal does not occur and the circularization does not occur if the track does not occur. sent3: if the fact that the circularization does not occur and the liquefying pepperwort occurs is not right the liquefying pepperwort does not occur. sent4: that the liquefying vocal does not occur and the circularization happens is incorrect if the track does not occur. sent5: that that the liquefying vocal but not the circularization happens does not hold if the track does not occur hold. sent6: the skiing does not occur. sent7: the fact that if the track happens the fact that the circularization does not occur but the liquefying pepperwort happens does not hold is not wrong. sent8: that the slaving zeolite happens and the slaving cadenza does not occur causes that the leglessness happens. sent9: if the fact that the liquefying pepperwort does not occur is not wrong the fact that the multiphaseness does not occur and the miscarriage does not occur does not hold. sent10: that the liquefying lignum happens is not false if the liquefying vocal but not the circularization happens. sent11: if the tracking does not occur the fact that the liquefying vocal does not occur and the circularization does not occur is not correct.
void -> assump2: Let's assume that the liquefying vocal does not occur and the circularization does not occur.; void -> assump1: Let's assume that the liquefying pepperwort but not the tracking happens.; assump1 -> int1: the tracking does not occur.; sent11 & int1 -> int2: the fact that the liquefying vocal does not occur and the circularization does not occur is not correct.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the liquefying pepperwort but not the track happens is not true.;
that the multiphaseness does not occur and the miscarriage does not occur is wrong.
$hypothesis$ = the liquefying lignum occurs if the liquefying vocal does not occur and the circularization does not occur. ; $context$ = sent1: the fact that the destaining occurs and the negligence occurs is not true. sent2: the liquefying vocal does not occur and the circularization does not occur if the track does not occur. sent3: if the fact that the circularization does not occur and the liquefying pepperwort occurs is not right the liquefying pepperwort does not occur. sent4: that the liquefying vocal does not occur and the circularization happens is incorrect if the track does not occur. sent5: that that the liquefying vocal but not the circularization happens does not hold if the track does not occur hold. sent6: the skiing does not occur. sent7: the fact that if the track happens the fact that the circularization does not occur but the liquefying pepperwort happens does not hold is not wrong. sent8: that the slaving zeolite happens and the slaving cadenza does not occur causes that the leglessness happens. sent9: if the fact that the liquefying pepperwort does not occur is not wrong the fact that the multiphaseness does not occur and the miscarriage does not occur does not hold. sent10: that the liquefying lignum happens is not false if the liquefying vocal but not the circularization happens. sent11: if the tracking does not occur the fact that the liquefying vocal does not occur and the circularization does not occur is not correct. ; $proof$ = 
void -> assump2: Let's assume that the liquefying vocal does not occur and the circularization does not occur.; void -> assump1: Let's assume that the liquefying pepperwort but not the tracking happens.; assump1 -> int1: the tracking does not occur.; sent11 & int1 -> int2: the fact that the liquefying vocal does not occur and the circularization does not occur is not correct.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the liquefying pepperwort but not the track happens is not true.; __UNKNOWN__