the platinizing Conium does not occur.
sent1: if the susurration occurs and the draining happens then the folding integrity does not occur. sent2: the swinging occurs and the gynecologicalness occurs if the intersection does not occur. sent3: the nonintellectualness does not occur. sent4: if that the beeping syrup does not occur and the platinizing malversation does not occur is not true the lying does not occur. sent5: the folding groundcover does not occur. sent6: the folding schizocarp happens. sent7: that the platinizing phycology but not the importing happens does not hold. sent8: that the shoring and the dehiscence happens is brought about by that the Assumption does not occur. sent9: the susurration occurs and the folding icaco happens. sent10: if the semanticness occurs the alliaceousness occurs. sent11: the folding integrity occurs and the lying happens if the beeping syrup does not occur. sent12: the platinizing covetousness occurs. sent13: if the fact that the folding icaco happens is not true both the platinizing Conium and the susurration occurs. sent14: the flexibleness occurs. sent15: the fact that the beeping syrup but not the platinizing malversation occurs is incorrect. sent16: the allomorphicness does not occur. sent17: if that the beeping syrup occurs and the platinizing malversation does not occur is not right the fact that the beeping syrup does not occur is true. sent18: if the tastelessness does not occur the taekwondo occurs. sent19: the platinizing Conium is prevented by that the alliaceousness occurs. sent20: the non-semanticness and the non-alliaceousness happens if the lying does not occur. sent21: that the draining does not occur results in the semanticness.
sent9 -> int1: the susurration occurs.; void -> assump1: Let's assume that the draining happens.; int1 & assump1 -> int2: the susurration happens and the drain happens.; int2 & sent1 -> int3: the folding integrity does not occur.; sent17 & sent15 -> int4: the beeping syrup does not occur.; sent11 & int4 -> int5: the folding integrity occurs and the lying happens.; int5 -> int6: the fact that the folding integrity occurs is not false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drain does not occur.; int8 & sent21 -> int9: the fact that the semanticness occurs hold.; int9 & sent10 -> int10: the fact that the alliaceousness occurs is not wrong.; int10 & sent19 -> hypothesis;
the platinizing Conium happens.
$hypothesis$ = the platinizing Conium does not occur. ; $context$ = sent1: if the susurration occurs and the draining happens then the folding integrity does not occur. sent2: the swinging occurs and the gynecologicalness occurs if the intersection does not occur. sent3: the nonintellectualness does not occur. sent4: if that the beeping syrup does not occur and the platinizing malversation does not occur is not true the lying does not occur. sent5: the folding groundcover does not occur. sent6: the folding schizocarp happens. sent7: that the platinizing phycology but not the importing happens does not hold. sent8: that the shoring and the dehiscence happens is brought about by that the Assumption does not occur. sent9: the susurration occurs and the folding icaco happens. sent10: if the semanticness occurs the alliaceousness occurs. sent11: the folding integrity occurs and the lying happens if the beeping syrup does not occur. sent12: the platinizing covetousness occurs. sent13: if the fact that the folding icaco happens is not true both the platinizing Conium and the susurration occurs. sent14: the flexibleness occurs. sent15: the fact that the beeping syrup but not the platinizing malversation occurs is incorrect. sent16: the allomorphicness does not occur. sent17: if that the beeping syrup occurs and the platinizing malversation does not occur is not right the fact that the beeping syrup does not occur is true. sent18: if the tastelessness does not occur the taekwondo occurs. sent19: the platinizing Conium is prevented by that the alliaceousness occurs. sent20: the non-semanticness and the non-alliaceousness happens if the lying does not occur. sent21: that the draining does not occur results in the semanticness. ; $proof$ = 
sent9 -> int1: the susurration occurs.; void -> assump1: Let's assume that the draining happens.; int1 & assump1 -> int2: the susurration happens and the drain happens.; int2 & sent1 -> int3: the folding integrity does not occur.; sent17 & sent15 -> int4: the beeping syrup does not occur.; sent11 & int4 -> int5: the folding integrity occurs and the lying happens.; int5 -> int6: the fact that the folding integrity occurs is not false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drain does not occur.; int8 & sent21 -> int9: the fact that the semanticness occurs hold.; int9 & sent10 -> int10: the fact that the alliaceousness occurs is not wrong.; int10 & sent19 -> hypothesis; __PROVED__