if the fact that the thromboembolism does not occur and the deviationism happens is false the cosmologicness does not occur.
sent1: both the pitching and the excommunication happens. sent2: the cosmologicness happens or the thromboembolism does not occur or both. sent3: the aphakic occurs and the numerating finger-roll happens. sent4: if the entomologicalness does not occur the deviationism and the barring uptick occurs. sent5: if the numerating finger-roll occurs and the cosmologicness occurs then the thromboembolism does not occur. sent6: the non-nominalisticness and the non-entomologicalness happens. sent7: not the psychometricness but the pursing happens. sent8: that the barring uptick does not occur causes that the deviationism occurs and the spar occurs. sent9: the beading limit does not occur and the piousness does not occur. sent10: if the fact that the returnableness and the fielding Dekker happens is false the semi-tuberousness occurs. sent11: the cosmologicness is prevented by that not the thromboembolism but the deviationism occurs. sent12: the streaming does not occur and the tuning does not occur. sent13: that the numerating finger-roll does not occur causes that the spiccato happens and the aphakic happens.
sent3 -> int1: that the numerating finger-roll occurs is not incorrect.; void -> assump2: Let's assume that the cosmologicness happens.; int1 & assump2 -> int2: both the numerating finger-roll and the cosmologicness happens.; int2 & sent5 -> int3: the thromboembolism does not occur.; sent6 -> int4: the entomologicalness does not occur.; sent4 & int4 -> int5: the deviationism and the barring uptick happens.; int5 -> int6: the deviationism occurs.; int3 & int6 -> int7: not the thromboembolism but the deviationism occurs.; void -> assump1: Let's assume that the fact that not the thromboembolism but the deviationism happens does not hold.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the cosmologicness does not occur.; [assump1] & int9 -> hypothesis;
the spiccato happens and the sparring happens.
$hypothesis$ = if the fact that the thromboembolism does not occur and the deviationism happens is false the cosmologicness does not occur. ; $context$ = sent1: both the pitching and the excommunication happens. sent2: the cosmologicness happens or the thromboembolism does not occur or both. sent3: the aphakic occurs and the numerating finger-roll happens. sent4: if the entomologicalness does not occur the deviationism and the barring uptick occurs. sent5: if the numerating finger-roll occurs and the cosmologicness occurs then the thromboembolism does not occur. sent6: the non-nominalisticness and the non-entomologicalness happens. sent7: not the psychometricness but the pursing happens. sent8: that the barring uptick does not occur causes that the deviationism occurs and the spar occurs. sent9: the beading limit does not occur and the piousness does not occur. sent10: if the fact that the returnableness and the fielding Dekker happens is false the semi-tuberousness occurs. sent11: the cosmologicness is prevented by that not the thromboembolism but the deviationism occurs. sent12: the streaming does not occur and the tuning does not occur. sent13: that the numerating finger-roll does not occur causes that the spiccato happens and the aphakic happens. ; $proof$ = 
sent3 -> int1: that the numerating finger-roll occurs is not incorrect.; void -> assump2: Let's assume that the cosmologicness happens.; int1 & assump2 -> int2: both the numerating finger-roll and the cosmologicness happens.; int2 & sent5 -> int3: the thromboembolism does not occur.; sent6 -> int4: the entomologicalness does not occur.; sent4 & int4 -> int5: the deviationism and the barring uptick happens.; int5 -> int6: the deviationism occurs.; int3 & int6 -> int7: not the thromboembolism but the deviationism occurs.; void -> assump1: Let's assume that the fact that not the thromboembolism but the deviationism happens does not hold.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the cosmologicness does not occur.; [assump1] & int9 -> hypothesis; __PROVED__