the synapticness happens and the well occurs if that the testing does not occur hold.
sent1: the prompt and the craziness happens if the fact that the reversed does not occur is not false. sent2: if the Danishness does not occur the non-freesianess and the thunderbolt occurs. sent3: if the prompt does not occur then the well does not occur and the philandering twenties does not occur. sent4: if the tympanicness does not occur then the Cartesianness occurs and the trailing occurs. sent5: the reversedness does not occur. sent6: that the basilarness occurs is caused by that that the synapticness does not occur but the testing occurs is not false. sent7: that both the philandering eyes and the stomatousness happens is wrong. sent8: that the catapulting Bulnesia does not occur is brought about by that the screaming happens. sent9: if that the philandering accuracy does not occur but the exhumation happens is not right then the tympanicness does not occur. sent10: the enjoyment occurs and the clutch happens. sent11: if the fact that the prompt happens is not incorrect the philandering twenties occurs. sent12: the nonvolatileness and the equation occurs. sent13: if the reversed does not occur then the craziness happens. sent14: the compound occurs. sent15: the well happens if the philandering twenties occurs. sent16: that the imposture does not occur is caused by that the non-freesianess and the thunderbolt occurs. sent17: if the testing occurs the synapticness happens and the well occurs. sent18: if the Cartesian happens then the scream happens. sent19: if the fact that the philandering eyes and the non-stomatousness occurs is false the testing occurs. sent20: if the imposture does not occur then the fact that not the philandering accuracy but the exhumation occurs is false. sent21: that the Danish does not occur and the belaboring MPS does not occur is brought about by that the enjoyment occurs. sent22: the fact that the craziness and the reversed happens does not hold if the catapulting Bulnesia does not occur.
void -> assump1: Let's assume that that that the philandering eyes and the non-stomatousness occurs does not hold is right.; sent19 & assump1 -> int1: the testing happens.; void -> assump2: Let's assume that the testing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the philandering eyes but not the stomatousness occurs.; sent1 & sent5 -> int4: both the prompt and the craziness occurs.; int4 -> int5: the prompt occurs.; sent11 & int5 -> int6: the philandering twenties occurs.; sent15 & int6 -> int7: the wellness occurs.;
the basilarness happens.
sent10 -> int8: the enjoyment happens.; sent21 & int8 -> int9: the Danishness does not occur and the belaboring MPS does not occur.; int9 -> int10: the Danish does not occur.; sent2 & int10 -> int11: the non-freesianess and the thunderbolt occurs.; sent16 & int11 -> int12: the imposture does not occur.; sent20 & int12 -> int13: the fact that the fact that not the philandering accuracy but the exhumation occurs does not hold is not wrong.; sent9 & int13 -> int14: the tympanicness does not occur.; sent4 & int14 -> int15: both the Cartesianness and the trail happens.; int15 -> int16: the Cartesianness occurs.; sent18 & int16 -> int17: the scream occurs.; sent8 & int17 -> int18: that the catapulting Bulnesia does not occur is not wrong.; sent22 & int18 -> int19: the fact that the craziness and the reversed happens is incorrect.;
$hypothesis$ = the synapticness happens and the well occurs if that the testing does not occur hold. ; $context$ = sent1: the prompt and the craziness happens if the fact that the reversed does not occur is not false. sent2: if the Danishness does not occur the non-freesianess and the thunderbolt occurs. sent3: if the prompt does not occur then the well does not occur and the philandering twenties does not occur. sent4: if the tympanicness does not occur then the Cartesianness occurs and the trailing occurs. sent5: the reversedness does not occur. sent6: that the basilarness occurs is caused by that that the synapticness does not occur but the testing occurs is not false. sent7: that both the philandering eyes and the stomatousness happens is wrong. sent8: that the catapulting Bulnesia does not occur is brought about by that the screaming happens. sent9: if that the philandering accuracy does not occur but the exhumation happens is not right then the tympanicness does not occur. sent10: the enjoyment occurs and the clutch happens. sent11: if the fact that the prompt happens is not incorrect the philandering twenties occurs. sent12: the nonvolatileness and the equation occurs. sent13: if the reversed does not occur then the craziness happens. sent14: the compound occurs. sent15: the well happens if the philandering twenties occurs. sent16: that the imposture does not occur is caused by that the non-freesianess and the thunderbolt occurs. sent17: if the testing occurs the synapticness happens and the well occurs. sent18: if the Cartesian happens then the scream happens. sent19: if the fact that the philandering eyes and the non-stomatousness occurs is false the testing occurs. sent20: if the imposture does not occur then the fact that not the philandering accuracy but the exhumation occurs is false. sent21: that the Danish does not occur and the belaboring MPS does not occur is brought about by that the enjoyment occurs. sent22: the fact that the craziness and the reversed happens does not hold if the catapulting Bulnesia does not occur. ; $proof$ = 
void -> assump1: Let's assume that that that the philandering eyes and the non-stomatousness occurs does not hold is right.; sent19 & assump1 -> int1: the testing happens.; void -> assump2: Let's assume that the testing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the philandering eyes but not the stomatousness occurs.; sent1 & sent5 -> int4: both the prompt and the craziness occurs.; int4 -> int5: the prompt occurs.; sent11 & int5 -> int6: the philandering twenties occurs.; sent15 & int6 -> int7: the wellness occurs.; __UNKNOWN__