the transubstantiation happens.
sent1: the sepaloidness happens. sent2: the dabbing corvette does not occur if the dabbing prolamine does not occur. sent3: the chiasmalness occurs if the articulation does not occur. sent4: the compromising Scriabin happens but the invertebrate does not occur. sent5: that the Ionian does not occur and/or the tool does not occur is not right. sent6: the annalisticness happens. sent7: the transubstantiation occurs if the fact that the tool happens but the transubstantiation does not occur does not hold. sent8: if the unethicalness does not occur the immune occurs. sent9: the chiasmalness does not occur if the fact that the nonmodernness and the polypectomy happens hold. sent10: if the preparing NAD occurs the initiation occurs. sent11: the rounding happens. sent12: either the nonmagneticness does not occur or the pacing does not occur or both. sent13: the casuisticness occurs. sent14: that the doubleheader occurs is triggered by that the tooling happens. sent15: the procession does not occur or the livableness occurs or both. sent16: the Ionian occurs or the tool does not occur or both. sent17: the tessellating does not occur. sent18: the compromising debugger happens if the LASIK happens. sent19: that the mesoblasticness happens prevents that the pessimisticness does not occur. sent20: the divisionalness does not occur if the bilges occurs and the base occurs. sent21: the grubby does not occur. sent22: that the transubstantiation happens is prevented by that the nonruminantness does not occur. sent23: the amortization occurs and the figuration occurs. sent24: the dabbing lasso occurs and the scissoring pseudohermaphrodite happens if the invertebrateness does not occur. sent25: the nonruminantness does not occur if the dabbing lasso occurs and the rounders occurs. sent26: the rounders occurs if the camouflaging occurs. sent27: the dermabrasion does not occur. sent28: the camouflage occurs if the doubleheader occurs.
void -> assump1: Let's assume that the tooling does not occur.; assump1 -> int1: the Ionian does not occur and/or the tool does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tool occurs.; int3 & sent14 -> int4: the doubleheader occurs.; int4 & sent28 -> int5: the camouflaging occurs.; int5 & sent26 -> int6: the rounders occurs.; sent4 -> int7: the invertebrateness does not occur.; sent24 & int7 -> int8: the dabbing lasso occurs and the scissoring pseudohermaphrodite occurs.; int8 -> int9: that the dabbing lasso happens hold.; int6 & int9 -> int10: both the dabbing lasso and the rounders occurs.; int10 & sent25 -> int11: the nonruminantness does not occur.; int11 & sent22 -> hypothesis;
the transubstantiation happens.
$hypothesis$ = the transubstantiation happens. ; $context$ = sent1: the sepaloidness happens. sent2: the dabbing corvette does not occur if the dabbing prolamine does not occur. sent3: the chiasmalness occurs if the articulation does not occur. sent4: the compromising Scriabin happens but the invertebrate does not occur. sent5: that the Ionian does not occur and/or the tool does not occur is not right. sent6: the annalisticness happens. sent7: the transubstantiation occurs if the fact that the tool happens but the transubstantiation does not occur does not hold. sent8: if the unethicalness does not occur the immune occurs. sent9: the chiasmalness does not occur if the fact that the nonmodernness and the polypectomy happens hold. sent10: if the preparing NAD occurs the initiation occurs. sent11: the rounding happens. sent12: either the nonmagneticness does not occur or the pacing does not occur or both. sent13: the casuisticness occurs. sent14: that the doubleheader occurs is triggered by that the tooling happens. sent15: the procession does not occur or the livableness occurs or both. sent16: the Ionian occurs or the tool does not occur or both. sent17: the tessellating does not occur. sent18: the compromising debugger happens if the LASIK happens. sent19: that the mesoblasticness happens prevents that the pessimisticness does not occur. sent20: the divisionalness does not occur if the bilges occurs and the base occurs. sent21: the grubby does not occur. sent22: that the transubstantiation happens is prevented by that the nonruminantness does not occur. sent23: the amortization occurs and the figuration occurs. sent24: the dabbing lasso occurs and the scissoring pseudohermaphrodite happens if the invertebrateness does not occur. sent25: the nonruminantness does not occur if the dabbing lasso occurs and the rounders occurs. sent26: the rounders occurs if the camouflaging occurs. sent27: the dermabrasion does not occur. sent28: the camouflage occurs if the doubleheader occurs. ; $proof$ = 
void -> assump1: Let's assume that the tooling does not occur.; assump1 -> int1: the Ionian does not occur and/or the tool does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tool occurs.; int3 & sent14 -> int4: the doubleheader occurs.; int4 & sent28 -> int5: the camouflaging occurs.; int5 & sent26 -> int6: the rounders occurs.; sent4 -> int7: the invertebrateness does not occur.; sent24 & int7 -> int8: the dabbing lasso occurs and the scissoring pseudohermaphrodite occurs.; int8 -> int9: that the dabbing lasso happens hold.; int6 & int9 -> int10: both the dabbing lasso and the rounders occurs.; int10 & sent25 -> int11: the nonruminantness does not occur.; int11 & sent22 -> hypothesis; __DISPROVED__