the fact that the Algerian occurs is correct if the proposing Celt occurs.
sent1: the filling canter occurs and the foreness occurs. sent2: the cramp occurs. sent3: if the fact that the unrealisticness does not occur and the proposing fixedness does not occur does not hold the proposing fixedness happens. sent4: if the accrediting infusorian occurs then that the fact that the no-brainer does not occur and the proposing Celt happens is not right is not incorrect. sent5: that the sweeping does not occur is not incorrect. sent6: both the cramp and the accrediting infusorian happens. sent7: the filling Malacothamnus does not occur. sent8: that the stonewalling does not occur but the porphyriticness occurs is incorrect if the flogging occurs. sent9: the gutlessness occurs. sent10: the filling happens. sent11: the halfback occurs. sent12: the Algerian occurs if the unrealisticness does not occur. sent13: the accrediting mudhif occurs if the trihydroxiness does not occur. sent14: that the halfback occurs and the unrealisticness occurs leads to that the no-brainer does not occur. sent15: both the non-precancerousness and the spinalness happens. sent16: the non-acarpelousness and the accrediting Smetana happens. sent17: the execration does not occur. sent18: the battery and the interiorness happens.
void -> assump2: Let's assume that the unrealisticness occurs.; sent11 & assump2 -> int1: the halfback occurs and the unrealisticness happens.; int1 & sent14 -> int2: the fact that the no-brainer does not occur is not false.; void -> assump1: Let's assume that the proposing Celt happens.; int2 & assump1 -> int3: not the no-brainer but the proposing Celt occurs.; sent6 -> int4: the accrediting infusorian occurs.; sent4 & int4 -> int5: that the no-brainer does not occur but the proposing Celt occurs is not true.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the unrealisticness does not occur.; int7 & sent12 -> int8: the Algerianness occurs.; [assump1] & int8 -> hypothesis;
the fact that the proposing fixedness occurs hold.
$hypothesis$ = the fact that the Algerian occurs is correct if the proposing Celt occurs. ; $context$ = sent1: the filling canter occurs and the foreness occurs. sent2: the cramp occurs. sent3: if the fact that the unrealisticness does not occur and the proposing fixedness does not occur does not hold the proposing fixedness happens. sent4: if the accrediting infusorian occurs then that the fact that the no-brainer does not occur and the proposing Celt happens is not right is not incorrect. sent5: that the sweeping does not occur is not incorrect. sent6: both the cramp and the accrediting infusorian happens. sent7: the filling Malacothamnus does not occur. sent8: that the stonewalling does not occur but the porphyriticness occurs is incorrect if the flogging occurs. sent9: the gutlessness occurs. sent10: the filling happens. sent11: the halfback occurs. sent12: the Algerian occurs if the unrealisticness does not occur. sent13: the accrediting mudhif occurs if the trihydroxiness does not occur. sent14: that the halfback occurs and the unrealisticness occurs leads to that the no-brainer does not occur. sent15: both the non-precancerousness and the spinalness happens. sent16: the non-acarpelousness and the accrediting Smetana happens. sent17: the execration does not occur. sent18: the battery and the interiorness happens. ; $proof$ = 
void -> assump2: Let's assume that the unrealisticness occurs.; sent11 & assump2 -> int1: the halfback occurs and the unrealisticness happens.; int1 & sent14 -> int2: the fact that the no-brainer does not occur is not false.; void -> assump1: Let's assume that the proposing Celt happens.; int2 & assump1 -> int3: not the no-brainer but the proposing Celt occurs.; sent6 -> int4: the accrediting infusorian occurs.; sent4 & int4 -> int5: that the no-brainer does not occur but the proposing Celt occurs is not true.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the unrealisticness does not occur.; int7 & sent12 -> int8: the Algerianness occurs.; [assump1] & int8 -> hypothesis; __PROVED__