the fact that the topiary but not the skirling occurs if the lottery does not occur is false.
sent1: the companying inertness happens. sent2: if the wanting does not occur the topiary occurs. sent3: that the equineness occurs is prevented by that both the glacialness and the non-cysticness happens. sent4: that the undercutting does not occur is triggered by that the offshoreness and the staging ketoprofen occurs. sent5: the fact that both the easing and the non-offshoreness occurs is wrong. sent6: the diverging occurs if the companying inertness happens. sent7: the intelligentness occurs but the transpolarness does not occur. sent8: if the wanting happens then the lottery occurs. sent9: if the fact that the wanting occurs and/or the lottery does not occur is wrong the theater occurs. sent10: both the signing tab and the staging ketoprofen occurs if the companying unclearness does not occur. sent11: the fact that the offshoreness happens is not wrong if the fact that the easing happens but the offshoreness does not occur does not hold. sent12: the fact that the companying inertness occurs and the factorial happens is wrong if the equineness does not occur. sent13: that the undercutting does not occur triggers that the glacialness and the non-cysticness happens. sent14: if the diverging does not occur not the topiary but the skirl occurs. sent15: the signing density does not occur. sent16: if the lottery happens then the topiary but not the skirl happens. sent17: the diverging happens. sent18: the honorableness happens if the wanting happens and/or the lottery does not occur. sent19: the diverging but not the skirl happens if the companying inertness occurs. sent20: if the topiary does not occur the wanting occurs and/or the lottery does not occur.
void -> assump1: Let's assume that that the wanting occurs is true.; sent8 & assump1 -> int1: the lottery occurs.; void -> assump2: Let's assume that the lottery does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wanting does not occur.; int3 & sent2 -> int4: the topiary occurs.; sent19 & sent1 -> int5: the diverging but not the skirling occurs.; int5 -> int6: the skirl does not occur.; int4 & int6 -> int7: the topiary but not the skirl happens.; [assump2] & int7 -> hypothesis;
the theater occurs.
$hypothesis$ = the fact that the topiary but not the skirling occurs if the lottery does not occur is false. ; $context$ = sent1: the companying inertness happens. sent2: if the wanting does not occur the topiary occurs. sent3: that the equineness occurs is prevented by that both the glacialness and the non-cysticness happens. sent4: that the undercutting does not occur is triggered by that the offshoreness and the staging ketoprofen occurs. sent5: the fact that both the easing and the non-offshoreness occurs is wrong. sent6: the diverging occurs if the companying inertness happens. sent7: the intelligentness occurs but the transpolarness does not occur. sent8: if the wanting happens then the lottery occurs. sent9: if the fact that the wanting occurs and/or the lottery does not occur is wrong the theater occurs. sent10: both the signing tab and the staging ketoprofen occurs if the companying unclearness does not occur. sent11: the fact that the offshoreness happens is not wrong if the fact that the easing happens but the offshoreness does not occur does not hold. sent12: the fact that the companying inertness occurs and the factorial happens is wrong if the equineness does not occur. sent13: that the undercutting does not occur triggers that the glacialness and the non-cysticness happens. sent14: if the diverging does not occur not the topiary but the skirl occurs. sent15: the signing density does not occur. sent16: if the lottery happens then the topiary but not the skirl happens. sent17: the diverging happens. sent18: the honorableness happens if the wanting happens and/or the lottery does not occur. sent19: the diverging but not the skirl happens if the companying inertness occurs. sent20: if the topiary does not occur the wanting occurs and/or the lottery does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the wanting occurs is true.; sent8 & assump1 -> int1: the lottery occurs.; void -> assump2: Let's assume that the lottery does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wanting does not occur.; int3 & sent2 -> int4: the topiary occurs.; sent19 & sent1 -> int5: the diverging but not the skirling occurs.; int5 -> int6: the skirl does not occur.; int4 & int6 -> int7: the topiary but not the skirl happens.; [assump2] & int7 -> hypothesis; __DISPROVED__