that not the headway but the leak occurs hold.
sent1: the fact that the deprecation but not the trihydroxiness happens does not hold if the headway happens. sent2: if the tidalness does not occur the fact that the headway does not occur and the leaking happens does not hold. sent3: the deprecation does not occur if the fact that the counterplot does not occur and the tidalness does not occur is not true. sent4: the fact that the dissidence does not occur but the Alsatianness happens does not hold if the achondriticness does not occur. sent5: if the deprecation occurs and the trihydroxiness happens then the headway does not occur. sent6: the undomesticness does not occur if that the fact that the overflowing does not occur and the untrustworthiness does not occur is not false is incorrect. sent7: if the undomesticness does not occur then both the asymmetricalness and the trihydroxiness happens. sent8: the fact that the overflowing does not occur and the untrustworthiness does not occur does not hold. sent9: that the gravity happens is correct. sent10: that the trihydroxiness happens is prevented by that the deprecation does not occur and the achondriticness happens. sent11: the athleticsness does not occur. sent12: the achondriticness happens if the gravity occurs.
void -> assump1: Let's assume that the fact that the counterploting does not occur and the tidalness does not occur is not true.; sent3 & assump1 -> int1: the fact that the deprecation occurs is not right.; sent12 & sent9 -> int2: the achondriticness occurs.; int1 & int2 -> int3: the deprecation does not occur and the achondriticness happens.; int3 & sent10 -> int4: the trihydroxiness does not occur.; sent6 & sent8 -> int5: the undomesticness does not occur.; sent7 & int5 -> int6: the asymmetricalness and the trihydroxiness occurs.; int6 -> int7: the trihydroxiness occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the counterploting does not occur and the tidalness does not occur.; int9 -> int10: the tidalness does not occur.; int10 & sent2 -> hypothesis;
the headway does not occur and the leaking occurs.
$hypothesis$ = that not the headway but the leak occurs hold. ; $context$ = sent1: the fact that the deprecation but not the trihydroxiness happens does not hold if the headway happens. sent2: if the tidalness does not occur the fact that the headway does not occur and the leaking happens does not hold. sent3: the deprecation does not occur if the fact that the counterplot does not occur and the tidalness does not occur is not true. sent4: the fact that the dissidence does not occur but the Alsatianness happens does not hold if the achondriticness does not occur. sent5: if the deprecation occurs and the trihydroxiness happens then the headway does not occur. sent6: the undomesticness does not occur if that the fact that the overflowing does not occur and the untrustworthiness does not occur is not false is incorrect. sent7: if the undomesticness does not occur then both the asymmetricalness and the trihydroxiness happens. sent8: the fact that the overflowing does not occur and the untrustworthiness does not occur does not hold. sent9: that the gravity happens is correct. sent10: that the trihydroxiness happens is prevented by that the deprecation does not occur and the achondriticness happens. sent11: the athleticsness does not occur. sent12: the achondriticness happens if the gravity occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the counterploting does not occur and the tidalness does not occur is not true.; sent3 & assump1 -> int1: the fact that the deprecation occurs is not right.; sent12 & sent9 -> int2: the achondriticness occurs.; int1 & int2 -> int3: the deprecation does not occur and the achondriticness happens.; int3 & sent10 -> int4: the trihydroxiness does not occur.; sent6 & sent8 -> int5: the undomesticness does not occur.; sent7 & int5 -> int6: the asymmetricalness and the trihydroxiness occurs.; int6 -> int7: the trihydroxiness occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the counterploting does not occur and the tidalness does not occur.; int9 -> int10: the tidalness does not occur.; int10 & sent2 -> hypothesis; __DISPROVED__