the lexicostatisticsness and the prolixness occurs if the depositing Riksmal does not occur.
sent1: that the longness does not occur causes that the headshot happens. sent2: the congressionalness does not occur. sent3: the feudalness occurs. sent4: the depositing Riksmal happens if the mewing occurs. sent5: the feudalness occurs if the fact that the simplifying does not occur is true. sent6: the simplifying does not occur. sent7: the golfing does not occur. sent8: the finiteness does not occur. sent9: the depositing dragonhead occurs. sent10: the trundling sunburn occurs if the turnaround does not occur. sent11: that the depositing pull-in does not occur causes that the congressionalness happens. sent12: the Socraticness occurs if that the crutch does not occur hold. sent13: the trundling craps does not occur. sent14: the non-Nauruanness results in that the depositing Blennius happens and the using occurs. sent15: if the depositing Riksmal occurs both the lexicostatisticsness and the prolixness happens. sent16: the regicide happens if the mindlessness happens. sent17: the prolixness occurs and the feudalness happens if the simplifying does not occur. sent18: the lexicostatisticsness occurs if that the positionalness does not occur hold.
void -> assump1: Let's assume that the fact that the positionalness occurs is not wrong.; void -> assump2: Let's assume that the depositing Riksmal does not occur.; sent17 & sent6 -> int1: the prolixness and the feudalness happens.; int1 -> int2: the fact that the prolixness occurs is true.;
$hypothesis$ = the lexicostatisticsness and the prolixness occurs if the depositing Riksmal does not occur. ; $context$ = sent1: that the longness does not occur causes that the headshot happens. sent2: the congressionalness does not occur. sent3: the feudalness occurs. sent4: the depositing Riksmal happens if the mewing occurs. sent5: the feudalness occurs if the fact that the simplifying does not occur is true. sent6: the simplifying does not occur. sent7: the golfing does not occur. sent8: the finiteness does not occur. sent9: the depositing dragonhead occurs. sent10: the trundling sunburn occurs if the turnaround does not occur. sent11: that the depositing pull-in does not occur causes that the congressionalness happens. sent12: the Socraticness occurs if that the crutch does not occur hold. sent13: the trundling craps does not occur. sent14: the non-Nauruanness results in that the depositing Blennius happens and the using occurs. sent15: if the depositing Riksmal occurs both the lexicostatisticsness and the prolixness happens. sent16: the regicide happens if the mindlessness happens. sent17: the prolixness occurs and the feudalness happens if the simplifying does not occur. sent18: the lexicostatisticsness occurs if that the positionalness does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the positionalness occurs is not wrong.; void -> assump2: Let's assume that the depositing Riksmal does not occur.; sent17 & sent6 -> int1: the prolixness and the feudalness happens.; int1 -> int2: the fact that the prolixness occurs is true.; __UNKNOWN__