the fact that the estrogenicness does not occur and the refresher does not occur if the Arthurianness occurs is not right.
sent1: that the unrealisticness happens but the unsavoriness does not occur is caused by the sloshing. sent2: the serenading ratel occurs if the fact that the coordinating handspike does not occur and/or the incapableness does not occur is wrong. sent3: the unsavoriness occurs and the unrealisticness happens. sent4: the literariness happens. sent5: that the garnering occurs and the serenading chopsteak occurs triggers that the watering does not occur. sent6: if that the coordinating salt occurs and the invalidness occurs is wrong the invalidness does not occur. sent7: if the serenading ratel happens then the fact that the coordinating colloid happens but the coordinating Minden does not occur hold. sent8: the coordinating salt happens. sent9: the non-estrogenicness is brought about by that the associateship and the Arthurianness happens. sent10: if the invalid does not occur both the refresher and the non-estrogenicness happens. sent11: the unrealisticness happens. sent12: that the purse occurs and the associateship does not occur is not true if the fact that the Arthurianness does not occur is not false. sent13: the pursing happens and the associateship occurs. sent14: if the coordinating colloid occurs the sloshing occurs. sent15: that the invalidness happens is true if the coordinating salt happens. sent16: that both the invalid and the unsavoriness happens prevents that the refresher occurs. sent17: the swipe does not occur if the fact that the pursing but not the associateship occurs is not correct. sent18: the purse happens.
sent13 -> int1: the associateship occurs.; void -> assump1: Let's assume that that the Arthurianness happens is not wrong.; int1 & assump1 -> int2: the associateship and the Arthurianness happens.; int2 & sent9 -> int3: the estrogenicness does not occur.; sent15 & sent8 -> int4: the invalidness occurs.; sent3 -> int5: the unsavoriness happens.; int4 & int5 -> int6: the invalidness happens and the unsavoriness occurs.; sent16 & int6 -> int7: the refresher does not occur.; int3 & int7 -> int8: the estrogenicness does not occur and the refresher does not occur.; [assump1] & int8 -> hypothesis;
the swiping does not occur.
$hypothesis$ = the fact that the estrogenicness does not occur and the refresher does not occur if the Arthurianness occurs is not right. ; $context$ = sent1: that the unrealisticness happens but the unsavoriness does not occur is caused by the sloshing. sent2: the serenading ratel occurs if the fact that the coordinating handspike does not occur and/or the incapableness does not occur is wrong. sent3: the unsavoriness occurs and the unrealisticness happens. sent4: the literariness happens. sent5: that the garnering occurs and the serenading chopsteak occurs triggers that the watering does not occur. sent6: if that the coordinating salt occurs and the invalidness occurs is wrong the invalidness does not occur. sent7: if the serenading ratel happens then the fact that the coordinating colloid happens but the coordinating Minden does not occur hold. sent8: the coordinating salt happens. sent9: the non-estrogenicness is brought about by that the associateship and the Arthurianness happens. sent10: if the invalid does not occur both the refresher and the non-estrogenicness happens. sent11: the unrealisticness happens. sent12: that the purse occurs and the associateship does not occur is not true if the fact that the Arthurianness does not occur is not false. sent13: the pursing happens and the associateship occurs. sent14: if the coordinating colloid occurs the sloshing occurs. sent15: that the invalidness happens is true if the coordinating salt happens. sent16: that both the invalid and the unsavoriness happens prevents that the refresher occurs. sent17: the swipe does not occur if the fact that the pursing but not the associateship occurs is not correct. sent18: the purse happens. ; $proof$ = 
sent13 -> int1: the associateship occurs.; void -> assump1: Let's assume that that the Arthurianness happens is not wrong.; int1 & assump1 -> int2: the associateship and the Arthurianness happens.; int2 & sent9 -> int3: the estrogenicness does not occur.; sent15 & sent8 -> int4: the invalidness occurs.; sent3 -> int5: the unsavoriness happens.; int4 & int5 -> int6: the invalidness happens and the unsavoriness occurs.; sent16 & int6 -> int7: the refresher does not occur.; int3 & int7 -> int8: the estrogenicness does not occur and the refresher does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__