the unorthodoxness does not occur and the connection does not occur.
sent1: the connection does not occur if the smart does not occur. sent2: if the fact that the lighterage does not occur is false the removal does not occur and the west does not occur. sent3: the fact that the fact that the propheticness does not occur but the gorging Taliban happens is true is false. sent4: the fact that the retailing does not occur and the Aegeanness occurs is incorrect if the smart occurs. sent5: the assembling pion does not occur and the sliding does not occur if the lofting occurs. sent6: the fishtailing occurs if the fact that the retail does not occur and the Aegean does not occur is not right. sent7: the non-smartness brings about that the unorthodoxness does not occur and the connection does not occur. sent8: the lofting happens if the lofting happens and/or the rub-a-dub does not occur. sent9: if the fact that that the downfall does not occur and the bodiliness does not occur hold is wrong then the extension occurs. sent10: that both the retail and the non-Aegeanness happens is wrong. sent11: either the loft happens or the rub-a-dub does not occur or both. sent12: if the smart occurs the fact that the retail does not occur and the Aegeanness does not occur does not hold. sent13: that the fishtailing but not the assembling pion occurs is incorrect if the unorthodoxness does not occur.
void -> assump1: Let's assume that the smartness happens.; sent12 & assump1 -> int1: the fact that the retail does not occur and the Aegeanness does not occur is not true.; int1 & sent6 -> int2: the fishtailing happens.; sent8 & sent11 -> int3: the loft happens.; sent5 & int3 -> int4: the assembling pion does not occur and the sliding does not occur.; int4 -> int5: the assembling pion does not occur.;
the puncturelessness does not occur.
$hypothesis$ = the unorthodoxness does not occur and the connection does not occur. ; $context$ = sent1: the connection does not occur if the smart does not occur. sent2: if the fact that the lighterage does not occur is false the removal does not occur and the west does not occur. sent3: the fact that the fact that the propheticness does not occur but the gorging Taliban happens is true is false. sent4: the fact that the retailing does not occur and the Aegeanness occurs is incorrect if the smart occurs. sent5: the assembling pion does not occur and the sliding does not occur if the lofting occurs. sent6: the fishtailing occurs if the fact that the retail does not occur and the Aegean does not occur is not right. sent7: the non-smartness brings about that the unorthodoxness does not occur and the connection does not occur. sent8: the lofting happens if the lofting happens and/or the rub-a-dub does not occur. sent9: if the fact that that the downfall does not occur and the bodiliness does not occur hold is wrong then the extension occurs. sent10: that both the retail and the non-Aegeanness happens is wrong. sent11: either the loft happens or the rub-a-dub does not occur or both. sent12: if the smart occurs the fact that the retail does not occur and the Aegeanness does not occur does not hold. sent13: that the fishtailing but not the assembling pion occurs is incorrect if the unorthodoxness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the smartness happens.; sent12 & assump1 -> int1: the fact that the retail does not occur and the Aegeanness does not occur is not true.; int1 & sent6 -> int2: the fishtailing happens.; sent8 & sent11 -> int3: the loft happens.; sent5 & int3 -> int4: the assembling pion does not occur and the sliding does not occur.; int4 -> int5: the assembling pion does not occur.; __UNKNOWN__