that both the locomotion and the fixating occurs is not true.
sent1: the fact that the nonfunctionalness does not occur is correct. sent2: the discourse does not occur. sent3: the insignificantness does not occur. sent4: the hashing Phallus does not occur if the Romaniness occurs and the delegating occurs. sent5: if both the distortion and the hashing latch occurs then the unreceptiveness does not occur. sent6: if that the discourse does not occur hold the hashing Phallus and the bimetallisticness occurs. sent7: the hashing playlet occurs. sent8: both the opposing drought and the apheticness occurs. sent9: both the Romaniness and the springboard occurs. sent10: the impracticalness occurs. sent11: the fact that the grip occurs is correct. sent12: the roads is prevented by that the delegating does not occur and the according Dipylon happens. sent13: if the pleasantry occurs the aftershock occurs. sent14: the hashing man-eater occurs and the reactiveness occurs. sent15: if that the confederating idesia does not occur is not wrong then both the robustness and the parts occurs. sent16: the toxicologicalness occurs and the squish happens. sent17: both the dalliance and the unattractiveness occurs. sent18: if the reactiveness happens then the according Dipylon happens. sent19: both the requesting and the nibbling occurs. sent20: if the fact that the Romaniness does not occur hold that the locomotion and the fixating happens is not true. sent21: if not the hashing pay-phone but the confederating verticality happens the panic does not occur. sent22: the cytolyticness occurs and the stakeout occurs. sent23: that the roads does not occur triggers that the locomotion happens and the fixating occurs. sent24: the confederating milling happens. sent25: that the anti and the specification occurs is brought about by that the according gallinacean does not occur.
sent9 -> int1: the Romany happens.; void -> assump1: Let's assume that the delegating happens.; int1 & assump1 -> int2: the Romaniness occurs and the delegating happens.; int2 & sent4 -> int3: the hashing Phallus does not occur.; sent6 & sent2 -> int4: the hashing Phallus and the bimetallisticness happens.; int4 -> int5: the hashing Phallus happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the delegating does not occur.; sent14 -> int8: the reactiveness happens.; sent18 & int8 -> int9: the according Dipylon happens.; int7 & int9 -> int10: not the delegating but the according Dipylon happens.; int10 & sent12 -> int11: the roads does not occur.; int11 & sent23 -> hypothesis;
that that the locomotion occurs and the fixating happens is right is incorrect.
$hypothesis$ = that both the locomotion and the fixating occurs is not true. ; $context$ = sent1: the fact that the nonfunctionalness does not occur is correct. sent2: the discourse does not occur. sent3: the insignificantness does not occur. sent4: the hashing Phallus does not occur if the Romaniness occurs and the delegating occurs. sent5: if both the distortion and the hashing latch occurs then the unreceptiveness does not occur. sent6: if that the discourse does not occur hold the hashing Phallus and the bimetallisticness occurs. sent7: the hashing playlet occurs. sent8: both the opposing drought and the apheticness occurs. sent9: both the Romaniness and the springboard occurs. sent10: the impracticalness occurs. sent11: the fact that the grip occurs is correct. sent12: the roads is prevented by that the delegating does not occur and the according Dipylon happens. sent13: if the pleasantry occurs the aftershock occurs. sent14: the hashing man-eater occurs and the reactiveness occurs. sent15: if that the confederating idesia does not occur is not wrong then both the robustness and the parts occurs. sent16: the toxicologicalness occurs and the squish happens. sent17: both the dalliance and the unattractiveness occurs. sent18: if the reactiveness happens then the according Dipylon happens. sent19: both the requesting and the nibbling occurs. sent20: if the fact that the Romaniness does not occur hold that the locomotion and the fixating happens is not true. sent21: if not the hashing pay-phone but the confederating verticality happens the panic does not occur. sent22: the cytolyticness occurs and the stakeout occurs. sent23: that the roads does not occur triggers that the locomotion happens and the fixating occurs. sent24: the confederating milling happens. sent25: that the anti and the specification occurs is brought about by that the according gallinacean does not occur. ; $proof$ = 
sent9 -> int1: the Romany happens.; void -> assump1: Let's assume that the delegating happens.; int1 & assump1 -> int2: the Romaniness occurs and the delegating happens.; int2 & sent4 -> int3: the hashing Phallus does not occur.; sent6 & sent2 -> int4: the hashing Phallus and the bimetallisticness happens.; int4 -> int5: the hashing Phallus happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the delegating does not occur.; sent14 -> int8: the reactiveness happens.; sent18 & int8 -> int9: the according Dipylon happens.; int7 & int9 -> int10: not the delegating but the according Dipylon happens.; int10 & sent12 -> int11: the roads does not occur.; int11 & sent23 -> hypothesis; __DISPROVED__