the appositionalness occurs.
sent1: the turning happens. sent2: if the fact that the echoicness occurs and the arboriculture does not occur is false the echoicness does not occur. sent3: if the anasarcousness does not occur the arboriculture does not occur and the booking hovel happens. sent4: if the fact that the fact that the ridding emir happens and the blubbering does not occur is true does not hold the ridding emir does not occur. sent5: the non-unconstitutionalness is brought about by that the jet occurs and the ridding ancients occurs. sent6: that the ridding emir occurs but the blubber does not occur is wrong if the wettingness does not occur. sent7: the fact that both the blubbering and the appositionalness occurs does not hold if the wettingness does not occur. sent8: that the Sarawakian does not occur leads to either that the echoicness happens or that the booking hovel does not occur or both. sent9: the fact that the Sarawakianness does not occur but the arboriculture occurs hold if the fact that the anasarcousness occurs hold. sent10: the catching occurs but the cacodemonicness does not occur. sent11: the fact that the anasarcousness does not occur hold. sent12: if the anasarcousness does not occur then the arboriculture does not occur. sent13: that the booking hovel does not occur is triggered by that the wetting and the blubber happens. sent14: that both the Sarawakianness and the anasarcousness occurs is triggered by that the tillage does not occur. sent15: the fact that the echoicness but not the arboriculture occurs is wrong if the Sarawakian happens. sent16: the fact that that the appositionalness and the blubber occurs is not false is incorrect if the wettingness does not occur. sent17: the wettingness occurs. sent18: the anasarcousness and the tillage happens if the fact that the unconstitutionalness does not occur is not incorrect. sent19: that the appositionalness occurs is not wrong if the echoicness occurs. sent20: that the ailing does not occur is triggered by that the ridding ulalgia and the slogging Bhaga occurs.
void -> assump1: Let's assume that the blubber occurs.; sent17 & assump1 -> int1: the wettingness happens and the blubber occurs.; int1 & sent13 -> int2: the booking hovel does not occur.; sent3 & sent11 -> int3: the arboriculture does not occur and the booking hovel happens.; int3 -> int4: the fact that the booking hovel happens hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the blubbering does not occur is not false.;
the appositionalness does not occur.
$hypothesis$ = the appositionalness occurs. ; $context$ = sent1: the turning happens. sent2: if the fact that the echoicness occurs and the arboriculture does not occur is false the echoicness does not occur. sent3: if the anasarcousness does not occur the arboriculture does not occur and the booking hovel happens. sent4: if the fact that the fact that the ridding emir happens and the blubbering does not occur is true does not hold the ridding emir does not occur. sent5: the non-unconstitutionalness is brought about by that the jet occurs and the ridding ancients occurs. sent6: that the ridding emir occurs but the blubber does not occur is wrong if the wettingness does not occur. sent7: the fact that both the blubbering and the appositionalness occurs does not hold if the wettingness does not occur. sent8: that the Sarawakian does not occur leads to either that the echoicness happens or that the booking hovel does not occur or both. sent9: the fact that the Sarawakianness does not occur but the arboriculture occurs hold if the fact that the anasarcousness occurs hold. sent10: the catching occurs but the cacodemonicness does not occur. sent11: the fact that the anasarcousness does not occur hold. sent12: if the anasarcousness does not occur then the arboriculture does not occur. sent13: that the booking hovel does not occur is triggered by that the wetting and the blubber happens. sent14: that both the Sarawakianness and the anasarcousness occurs is triggered by that the tillage does not occur. sent15: the fact that the echoicness but not the arboriculture occurs is wrong if the Sarawakian happens. sent16: the fact that that the appositionalness and the blubber occurs is not false is incorrect if the wettingness does not occur. sent17: the wettingness occurs. sent18: the anasarcousness and the tillage happens if the fact that the unconstitutionalness does not occur is not incorrect. sent19: that the appositionalness occurs is not wrong if the echoicness occurs. sent20: that the ailing does not occur is triggered by that the ridding ulalgia and the slogging Bhaga occurs. ; $proof$ = 
void -> assump1: Let's assume that the blubber occurs.; sent17 & assump1 -> int1: the wettingness happens and the blubber occurs.; int1 & sent13 -> int2: the booking hovel does not occur.; sent3 & sent11 -> int3: the arboriculture does not occur and the booking hovel happens.; int3 -> int4: the fact that the booking hovel happens hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the blubbering does not occur is not false.; __UNKNOWN__