the physiotherapeuticness does not occur.
sent1: the anuranness does not occur. sent2: if either the stigmatization or the landing or both occurs the tactlessness does not occur. sent3: the contortion occurs if the freckling hedonism does not occur. sent4: the chronologicalness happens. sent5: that the freckling hedonism does not occur causes that the tournament does not occur but the contortion occurs. sent6: the mismanaging qibla occurs. sent7: if the anuranness does not occur then the chronologicalness occurs. sent8: the contortion happens. sent9: the stigmatization yields the tactfulness. sent10: the mismanaging discussion occurs if not the tournament but the contortion happens. sent11: the physiotherapeuticness is prevented by that the mismanaging discussion occurs and the ordering happens. sent12: both the mismanaging qibla and the tactlessness occurs. sent13: if that the landing does not occur is not false the freckling hedonism does not occur.
void -> assump1: Let's assume that the landing occurs.; assump1 -> int1: the stigmatization and/or the landing happens.; int1 & sent2 -> int2: the tactlessness does not occur.; sent12 -> int3: the tactlessness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the landing does not occur.; int5 & sent13 -> int6: the freckling hedonism does not occur.; int6 & sent5 -> int7: the tournament does not occur but the contortion occurs.; int7 & sent10 -> int8: the mismanaging discussion happens.;
$hypothesis$ = the physiotherapeuticness does not occur. ; $context$ = sent1: the anuranness does not occur. sent2: if either the stigmatization or the landing or both occurs the tactlessness does not occur. sent3: the contortion occurs if the freckling hedonism does not occur. sent4: the chronologicalness happens. sent5: that the freckling hedonism does not occur causes that the tournament does not occur but the contortion occurs. sent6: the mismanaging qibla occurs. sent7: if the anuranness does not occur then the chronologicalness occurs. sent8: the contortion happens. sent9: the stigmatization yields the tactfulness. sent10: the mismanaging discussion occurs if not the tournament but the contortion happens. sent11: the physiotherapeuticness is prevented by that the mismanaging discussion occurs and the ordering happens. sent12: both the mismanaging qibla and the tactlessness occurs. sent13: if that the landing does not occur is not false the freckling hedonism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the landing occurs.; assump1 -> int1: the stigmatization and/or the landing happens.; int1 & sent2 -> int2: the tactlessness does not occur.; sent12 -> int3: the tactlessness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the landing does not occur.; int5 & sent13 -> int6: the freckling hedonism does not occur.; int6 & sent5 -> int7: the tournament does not occur but the contortion occurs.; int7 & sent10 -> int8: the mismanaging discussion happens.; __UNKNOWN__