that the Doctor occurs brings about the homesteading misology.
sent1: if the administering staddle happens the recessional happens. sent2: the permissiveness happens. sent3: that the accordantness happens results in that the homesteading misology occurs. sent4: if the biggerness occurs then the noticing happens. sent5: if the quietening tapenade does not occur then that the homesteading landowner occurs and the nominalness occurs is not correct. sent6: the unknown happens if the neuroglialness occurs. sent7: the sculling occurs if that that the precluding but not the nominalness happens is not false does not hold. sent8: if that the fiddling helianthemum occurs hold the fact that the Doctor does not occur and the quietening stride does not occur is wrong. sent9: if the recessionalness occurs and/or the voyeuristicness occurs the administering constructivist does not occur. sent10: if the neuroglialness does not occur then that the fiddling helianthemum happens and the accordantness does not occur is not correct. sent11: that both the fiddling helianthemum and the accordantness happens is not right. sent12: if the quietening stride happens and/or the unknown happens then the Doctor does not occur. sent13: if the fact that both the fiddling helianthemum and the non-accordantness occurs is false then the homesteading misology occurs. sent14: if the azotemicness occurs the governing does not occur. sent15: the assisting happens.
void -> assump1: Let's assume that the Doctor happens.; void -> assump2: Let's assume that the fact that the neuroglialness occurs hold.; sent6 & assump2 -> int1: the unknownness occurs.; int1 -> int2: the quietening stride and/or the unknown occurs.; sent12 & int2 -> int3: the Doctor does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the neuroglialness does not occur.; sent10 & int5 -> int6: that both the fiddling helianthemum and the non-accordantness occurs is not true.; sent13 & int6 -> int7: the homesteading misology happens.; [assump1] & int7 -> hypothesis;
either the desertion occurs or the hobby happens or both.
$hypothesis$ = that the Doctor occurs brings about the homesteading misology. ; $context$ = sent1: if the administering staddle happens the recessional happens. sent2: the permissiveness happens. sent3: that the accordantness happens results in that the homesteading misology occurs. sent4: if the biggerness occurs then the noticing happens. sent5: if the quietening tapenade does not occur then that the homesteading landowner occurs and the nominalness occurs is not correct. sent6: the unknown happens if the neuroglialness occurs. sent7: the sculling occurs if that that the precluding but not the nominalness happens is not false does not hold. sent8: if that the fiddling helianthemum occurs hold the fact that the Doctor does not occur and the quietening stride does not occur is wrong. sent9: if the recessionalness occurs and/or the voyeuristicness occurs the administering constructivist does not occur. sent10: if the neuroglialness does not occur then that the fiddling helianthemum happens and the accordantness does not occur is not correct. sent11: that both the fiddling helianthemum and the accordantness happens is not right. sent12: if the quietening stride happens and/or the unknown happens then the Doctor does not occur. sent13: if the fact that both the fiddling helianthemum and the non-accordantness occurs is false then the homesteading misology occurs. sent14: if the azotemicness occurs the governing does not occur. sent15: the assisting happens. ; $proof$ = 
void -> assump1: Let's assume that the Doctor happens.; void -> assump2: Let's assume that the fact that the neuroglialness occurs hold.; sent6 & assump2 -> int1: the unknownness occurs.; int1 -> int2: the quietening stride and/or the unknown occurs.; sent12 & int2 -> int3: the Doctor does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the neuroglialness does not occur.; sent10 & int5 -> int6: that both the fiddling helianthemum and the non-accordantness occurs is not true.; sent13 & int6 -> int7: the homesteading misology happens.; [assump1] & int7 -> hypothesis; __PROVED__