that if the microbialness happens then the canvasing occurs is wrong.
sent1: the consolidating Konoe does not occur if the electrostaticness occurs. sent2: if that the baricness does not occur is right then the unswornness happens or the browse occurs or both. sent3: the disbarment happens. sent4: that the pyknoticness does not occur hold. sent5: the stupefaction does not occur. sent6: that the song does not occur is brought about by that the microbialness occurs or the agraphicness or both. sent7: the canvas is triggered by that the song does not occur. sent8: the song does not occur if the fact that the agraphicness happens is right. sent9: that the agraphicness happens and the canvas does not occur is not true if the song happens. sent10: the baricness does not occur if the emptying loser does not occur. sent11: if the agraphicness does not occur the microbialness and the sniffing algebraist occurs. sent12: the sniffing abhorrer occurs. sent13: the agraphicness does not occur if the fact that the agraphicness but not the canvas occurs is not true. sent14: the consolidating Nestorian happens.
void -> assump1: Let's assume that the microbialness happens.; assump1 -> int1: either the microbialness occurs or the agraphicness happens or both.; int1 & sent6 -> int2: the song does not occur.; int2 & sent7 -> int3: the canvas occurs.; [assump1] & int3 -> hypothesis;
either the condensate occurs or the sniffing algebraist occurs or both.
$hypothesis$ = that if the microbialness happens then the canvasing occurs is wrong. ; $context$ = sent1: the consolidating Konoe does not occur if the electrostaticness occurs. sent2: if that the baricness does not occur is right then the unswornness happens or the browse occurs or both. sent3: the disbarment happens. sent4: that the pyknoticness does not occur hold. sent5: the stupefaction does not occur. sent6: that the song does not occur is brought about by that the microbialness occurs or the agraphicness or both. sent7: the canvas is triggered by that the song does not occur. sent8: the song does not occur if the fact that the agraphicness happens is right. sent9: that the agraphicness happens and the canvas does not occur is not true if the song happens. sent10: the baricness does not occur if the emptying loser does not occur. sent11: if the agraphicness does not occur the microbialness and the sniffing algebraist occurs. sent12: the sniffing abhorrer occurs. sent13: the agraphicness does not occur if the fact that the agraphicness but not the canvas occurs is not true. sent14: the consolidating Nestorian happens. ; $proof$ = 
void -> assump1: Let's assume that the microbialness happens.; assump1 -> int1: either the microbialness occurs or the agraphicness happens or both.; int1 & sent6 -> int2: the song does not occur.; int2 & sent7 -> int3: the canvas occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__