the test does not occur.
sent1: the sharp does not occur if the fact that either the demoting dissolved does not occur or the perfuming excess does not occur or both is not right. sent2: the perfuming excess does not occur. sent3: if the fact that the atonalisticness does not occur is correct both the bradding Ataturk and the test happens. sent4: the bradding Ataturk happens and the atonalisticness happens. sent5: that if the rub-a-dub does not occur the senior does not occur is not incorrect. sent6: if that the mastering hippopotamus but not the demoting television occurs is not true then the expunction does not occur. sent7: the graphics occurs and the demoting television happens if the sharpness does not occur. sent8: that either the demoting dissolved does not occur or the perfuming excess does not occur or both is false if the hydroelectricness does not occur. sent9: that the bradding Ataturk occurs and the inorganicness happens prevents that the rub-a-dub occurs. sent10: the expunction occurs or the seniorness happens or both if the mastering hippopotamus does not occur. sent11: the expunction is triggered by the non-seniorness. sent12: the fact that the mastering hippopotamus but not the demoting television occurs is false if the graphics occurs. sent13: both the graphicsness and the sharpness occurs if the perfuming excess does not occur.
sent4 -> int1: the bradding Ataturk occurs.; void -> assump1: Let's assume that the inorganicness occurs.; int1 & assump1 -> int2: the bradding Ataturk and the inorganicness happens.; int2 & sent9 -> int3: the rub-a-dub does not occur.; int3 & sent5 -> int4: the seniorness does not occur.; int4 & sent11 -> int5: the expunction occurs.; sent13 & sent2 -> int6: the graphicsness and the sharpness happens.; int6 -> int7: the graphics happens.; sent12 & int7 -> int8: the fact that the mastering hippopotamus occurs and the demoting television does not occur is not right.; sent6 & int8 -> int9: the expunction does not occur.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the inorganicness does not occur.;
the testing happens.
$hypothesis$ = the test does not occur. ; $context$ = sent1: the sharp does not occur if the fact that either the demoting dissolved does not occur or the perfuming excess does not occur or both is not right. sent2: the perfuming excess does not occur. sent3: if the fact that the atonalisticness does not occur is correct both the bradding Ataturk and the test happens. sent4: the bradding Ataturk happens and the atonalisticness happens. sent5: that if the rub-a-dub does not occur the senior does not occur is not incorrect. sent6: if that the mastering hippopotamus but not the demoting television occurs is not true then the expunction does not occur. sent7: the graphics occurs and the demoting television happens if the sharpness does not occur. sent8: that either the demoting dissolved does not occur or the perfuming excess does not occur or both is false if the hydroelectricness does not occur. sent9: that the bradding Ataturk occurs and the inorganicness happens prevents that the rub-a-dub occurs. sent10: the expunction occurs or the seniorness happens or both if the mastering hippopotamus does not occur. sent11: the expunction is triggered by the non-seniorness. sent12: the fact that the mastering hippopotamus but not the demoting television occurs is false if the graphics occurs. sent13: both the graphicsness and the sharpness occurs if the perfuming excess does not occur. ; $proof$ = 
sent4 -> int1: the bradding Ataturk occurs.; void -> assump1: Let's assume that the inorganicness occurs.; int1 & assump1 -> int2: the bradding Ataturk and the inorganicness happens.; int2 & sent9 -> int3: the rub-a-dub does not occur.; int3 & sent5 -> int4: the seniorness does not occur.; int4 & sent11 -> int5: the expunction occurs.; sent13 & sent2 -> int6: the graphicsness and the sharpness happens.; int6 -> int7: the graphics happens.; sent12 & int7 -> int8: the fact that the mastering hippopotamus occurs and the demoting television does not occur is not right.; sent6 & int8 -> int9: the expunction does not occur.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the inorganicness does not occur.; __UNKNOWN__