the fact that if the behooving happens then the deflating subeditor does not occur is incorrect.
sent1: that the hooking hypertext occurs hold. sent2: that the deflating subeditor occurs is brought about by that the behooving happens. sent3: the behooving happens if the deflating subeditor or the propagation or both happens. sent4: if the propagation does not occur the fact that not the deflating subeditor but the cytoarchitecturalness happens is false. sent5: the spiraling clothesline does not occur. sent6: the propagation prevents that the behooving occurs. sent7: the hooking bacteriology and/or the microcephalicness occurs. sent8: the behooving does not occur if the deflating subeditor happens or the propagation occurs or both. sent9: that the aeronauticalness occurs is prevented by that the deflating cello occurs. sent10: the layout is prevented by that the quadrupedalness occurs and/or that the consultancy occurs. sent11: the hooking jadeite happens and/or the spiraling Scythia happens. sent12: the cytoarchitecturalness does not occur if that the deflating subeditor does not occur but the cytoarchitecturalness happens is wrong. sent13: if the spiraling marang happens the unavailableness does not occur. sent14: the drollery occurs. sent15: the spiraling assent happens.
void -> assump1: Let's assume that the deflating subeditor occurs.; assump1 -> int1: either the deflating subeditor happens or the propagation occurs or both.; int1 & sent8 -> int2: the behooving does not occur.; void -> assump2: Let's assume that the behooving occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the deflating subeditor does not occur.; [assump2] & int4 -> hypothesis;
the cytoarchitecturalness does not occur.
$hypothesis$ = the fact that if the behooving happens then the deflating subeditor does not occur is incorrect. ; $context$ = sent1: that the hooking hypertext occurs hold. sent2: that the deflating subeditor occurs is brought about by that the behooving happens. sent3: the behooving happens if the deflating subeditor or the propagation or both happens. sent4: if the propagation does not occur the fact that not the deflating subeditor but the cytoarchitecturalness happens is false. sent5: the spiraling clothesline does not occur. sent6: the propagation prevents that the behooving occurs. sent7: the hooking bacteriology and/or the microcephalicness occurs. sent8: the behooving does not occur if the deflating subeditor happens or the propagation occurs or both. sent9: that the aeronauticalness occurs is prevented by that the deflating cello occurs. sent10: the layout is prevented by that the quadrupedalness occurs and/or that the consultancy occurs. sent11: the hooking jadeite happens and/or the spiraling Scythia happens. sent12: the cytoarchitecturalness does not occur if that the deflating subeditor does not occur but the cytoarchitecturalness happens is wrong. sent13: if the spiraling marang happens the unavailableness does not occur. sent14: the drollery occurs. sent15: the spiraling assent happens. ; $proof$ = 
void -> assump1: Let's assume that the deflating subeditor occurs.; assump1 -> int1: either the deflating subeditor happens or the propagation occurs or both.; int1 & sent8 -> int2: the behooving does not occur.; void -> assump2: Let's assume that the behooving occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the deflating subeditor does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__