that that the Liverpudlianness happens and the interfacialness does not occur is incorrect if the fact that the politicalness happens is not false does not hold.
sent1: both the Liverpudlianness and the non-interfacialness occurs. sent2: the frightening arson does not occur if the toppling and the frightening Plasticine happens. sent3: if the politicalness occurs the Liverpudlian but not the interfacialness occurs. sent4: if the interference does not occur then that the Liverpudlian and the interfacialness happens is wrong. sent5: the aperiodicness happens. sent6: if the interference does not occur the Liverpudlianness and the non-interfacialness occurs. sent7: the fact that the Liverpudlian happens and the interfacialness happens does not hold if the politicalness happens. sent8: if both the affirmation and the politicalness occurs then the interference does not occur. sent9: the fact that both the Liverpudlian and the interfacialness occurs is not true. sent10: the affirmation happens if the posting Osasco occurs. sent11: the posting galvanization happens and the tonsuring occurs. sent12: that both the carding three and the jacking happens yields that the prescriptiveness does not occur. sent13: the frightening kudu happens. sent14: the frightening kudu happens and the posting Osasco occurs. sent15: that the Liverpudlian occurs but the interfacialness does not occur is not true if the interference does not occur. sent16: the fact that both the jack and the aestheticness happens is wrong. sent17: both the inaestheticness and the overstraining happens. sent18: the posting Hyracotherium occurs.
sent14 -> int1: that the posting Osasco occurs is correct.; sent10 & int1 -> int2: the affirmation happens.; void -> assump1: Let's assume that the politicalness happens.; int2 & assump1 -> int3: the affirmation happens and the politicalness occurs.; sent8 & int3 -> int4: the interference does not occur.; sent15 & int4 -> int5: that the Liverpudlian but not the interfacialness happens is not right.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that that the Liverpudlianness happens and the interfacialness does not occur is incorrect if the fact that the politicalness happens is not false does not hold. ; $context$ = sent1: both the Liverpudlianness and the non-interfacialness occurs. sent2: the frightening arson does not occur if the toppling and the frightening Plasticine happens. sent3: if the politicalness occurs the Liverpudlian but not the interfacialness occurs. sent4: if the interference does not occur then that the Liverpudlian and the interfacialness happens is wrong. sent5: the aperiodicness happens. sent6: if the interference does not occur the Liverpudlianness and the non-interfacialness occurs. sent7: the fact that the Liverpudlian happens and the interfacialness happens does not hold if the politicalness happens. sent8: if both the affirmation and the politicalness occurs then the interference does not occur. sent9: the fact that both the Liverpudlian and the interfacialness occurs is not true. sent10: the affirmation happens if the posting Osasco occurs. sent11: the posting galvanization happens and the tonsuring occurs. sent12: that both the carding three and the jacking happens yields that the prescriptiveness does not occur. sent13: the frightening kudu happens. sent14: the frightening kudu happens and the posting Osasco occurs. sent15: that the Liverpudlian occurs but the interfacialness does not occur is not true if the interference does not occur. sent16: the fact that both the jack and the aestheticness happens is wrong. sent17: both the inaestheticness and the overstraining happens. sent18: the posting Hyracotherium occurs. ; $proof$ = 
sent14 -> int1: that the posting Osasco occurs is correct.; sent10 & int1 -> int2: the affirmation happens.; void -> assump1: Let's assume that the politicalness happens.; int2 & assump1 -> int3: the affirmation happens and the politicalness occurs.; sent8 & int3 -> int4: the interference does not occur.; sent15 & int4 -> int5: that the Liverpudlian but not the interfacialness happens is not right.; [assump1] & int5 -> hypothesis; __DISPROVED__