that that the infanticide happens prevents the suffering down does not hold.
sent1: if the sniff happens then the fact that both the non-insentientness and the housing mealtime happens is not correct. sent2: if the quote occurs that the non-actinomycoticness and the spacing occurs does not hold. sent3: the lacing occurs. sent4: if the infanticide happens but the quote does not occur then the suffering down does not occur. sent5: the piffling happens. sent6: that the spacing happens is right. sent7: the fact that the pervert happens is not wrong. sent8: if the housing masseur occurs the non-actinomycoticness and the space happens. sent9: that both the quote and the position occurs is caused by that the infanticide does not occur. sent10: the uncharacteristicness happens. sent11: the imperial occurs. sent12: that not the housing zeolite but the enfeebling hindfoot happens does not hold if the attempt occurs. sent13: the fact that the housing masseur occurs hold. sent14: the race happens.
void -> assump2: Let's assume that the quote happens.; sent2 & assump2 -> int1: that the actinomycoticness does not occur but the spacing occurs is wrong.; sent8 & sent13 -> int2: not the actinomycoticness but the spacing happens.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the quoting does not occur.; void -> assump1: Let's assume that the infanticide happens.; int4 & assump1 -> int5: the infanticide but not the quote happens.; int5 & sent4 -> int6: the suffering down does not occur.; [assump1] & int6 -> hypothesis;
the fact that the positioning happens hold.
$hypothesis$ = that that the infanticide happens prevents the suffering down does not hold. ; $context$ = sent1: if the sniff happens then the fact that both the non-insentientness and the housing mealtime happens is not correct. sent2: if the quote occurs that the non-actinomycoticness and the spacing occurs does not hold. sent3: the lacing occurs. sent4: if the infanticide happens but the quote does not occur then the suffering down does not occur. sent5: the piffling happens. sent6: that the spacing happens is right. sent7: the fact that the pervert happens is not wrong. sent8: if the housing masseur occurs the non-actinomycoticness and the space happens. sent9: that both the quote and the position occurs is caused by that the infanticide does not occur. sent10: the uncharacteristicness happens. sent11: the imperial occurs. sent12: that not the housing zeolite but the enfeebling hindfoot happens does not hold if the attempt occurs. sent13: the fact that the housing masseur occurs hold. sent14: the race happens. ; $proof$ = 
void -> assump2: Let's assume that the quote happens.; sent2 & assump2 -> int1: that the actinomycoticness does not occur but the spacing occurs is wrong.; sent8 & sent13 -> int2: not the actinomycoticness but the spacing happens.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the quoting does not occur.; void -> assump1: Let's assume that the infanticide happens.; int4 & assump1 -> int5: the infanticide but not the quote happens.; int5 & sent4 -> int6: the suffering down does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__