the fact that not the supplementation but the governing Francophile occurs if the asymmetricalness happens does not hold.
sent1: the asymmetricalness occurs if both the scalarness and the goness happens. sent2: the effacing happens and the funfair occurs. sent3: the seraphicness does not occur. sent4: if the philhellenicness occurs the fact that either the governing encouragement does not occur or the seraphicness happens or both is not correct. sent5: the shock does not occur if the fact that either the governing encouragement does not occur or the seraphicness happens or both is false. sent6: if the scalarness and the go occurs the asymmetricalness does not occur. sent7: if that the scalar does not occur is not wrong then the supplementation does not occur. sent8: the cereal does not occur if that the scalarness and the non-goness happens is not right. sent9: the goness occurs. sent10: the volcanicness does not occur. sent11: if the philhellenicness happens then the seraphicness does not occur. sent12: the discriminatoriness happens. sent13: the governing frog does not occur but the mud occurs if the fact that the fudging kingbird occurs hold. sent14: if the shocking does not occur then the part and the governing Francophile occurs. sent15: the philhellenicness occurs. sent16: if the unimpressionableness does not occur the horticulturalness occurs. sent17: the fact that the scalarness but not the going occurs is incorrect if the governing Francophile does not occur.
void -> assump1: Let's assume that the scalar occurs.; assump1 & sent9 -> int1: the scalar occurs and the go occurs.; int1 & sent6 -> int2: the asymmetricalness does not occur.; void -> assump2: Let's assume that the asymmetricalness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the scalar does not occur hold.; int4 & sent7 -> int5: the supplementation does not occur.; sent4 & sent15 -> int6: the fact that the fact that the governing encouragement does not occur or the seraphicness occurs or both is true is wrong.; sent5 & int6 -> int7: the fact that the shocking does not occur is true.; sent14 & int7 -> int8: the part happens and the governing Francophile happens.; int8 -> int9: the governing Francophile happens.; int5 & int9 -> int10: not the supplementation but the governing Francophile happens.; [assump2] & int10 -> hypothesis;
not the cereal but the fudging sugared happens.
$hypothesis$ = the fact that not the supplementation but the governing Francophile occurs if the asymmetricalness happens does not hold. ; $context$ = sent1: the asymmetricalness occurs if both the scalarness and the goness happens. sent2: the effacing happens and the funfair occurs. sent3: the seraphicness does not occur. sent4: if the philhellenicness occurs the fact that either the governing encouragement does not occur or the seraphicness happens or both is not correct. sent5: the shock does not occur if the fact that either the governing encouragement does not occur or the seraphicness happens or both is false. sent6: if the scalarness and the go occurs the asymmetricalness does not occur. sent7: if that the scalar does not occur is not wrong then the supplementation does not occur. sent8: the cereal does not occur if that the scalarness and the non-goness happens is not right. sent9: the goness occurs. sent10: the volcanicness does not occur. sent11: if the philhellenicness happens then the seraphicness does not occur. sent12: the discriminatoriness happens. sent13: the governing frog does not occur but the mud occurs if the fact that the fudging kingbird occurs hold. sent14: if the shocking does not occur then the part and the governing Francophile occurs. sent15: the philhellenicness occurs. sent16: if the unimpressionableness does not occur the horticulturalness occurs. sent17: the fact that the scalarness but not the going occurs is incorrect if the governing Francophile does not occur. ; $proof$ = 
void -> assump1: Let's assume that the scalar occurs.; assump1 & sent9 -> int1: the scalar occurs and the go occurs.; int1 & sent6 -> int2: the asymmetricalness does not occur.; void -> assump2: Let's assume that the asymmetricalness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the scalar does not occur hold.; int4 & sent7 -> int5: the supplementation does not occur.; sent4 & sent15 -> int6: the fact that the fact that the governing encouragement does not occur or the seraphicness occurs or both is true is wrong.; sent5 & int6 -> int7: the fact that the shocking does not occur is true.; sent14 & int7 -> int8: the part happens and the governing Francophile happens.; int8 -> int9: the governing Francophile happens.; int5 & int9 -> int10: not the supplementation but the governing Francophile happens.; [assump2] & int10 -> hypothesis; __DISPROVED__