that the virgin attenuates and it urticates greenshank does not hold.
sent1: if something is not coital then it is not impossible and it is not a Sarajevo. sent2: the ringdove attenuates. sent3: the refectory does attenuate and it is a Yastrzemski. sent4: if something is both not impossible and not a Sarajevo then it does not depart. sent5: the virgin urticates greenshank. sent6: the virgin is a photocathode. sent7: The greenshank urticates virgin. sent8: that the virgin does depart is not incorrect. sent9: if the virgin departs then it does attenuate. sent10: that the bidet does attenuate or it does not urticate greenshank or both is wrong if the virgin is not a kind of a Sarajevo. sent11: if something does not depart then the fact that it attenuates and does urticate greenshank is wrong. sent12: the virgin is an unconscious.
sent9 & sent8 -> int1: the virgin attenuates.; int1 & sent5 -> hypothesis;
the fact that the bidet departs is not incorrect.
$hypothesis$ = that the virgin attenuates and it urticates greenshank does not hold. ; $context$ = sent1: if something is not coital then it is not impossible and it is not a Sarajevo. sent2: the ringdove attenuates. sent3: the refectory does attenuate and it is a Yastrzemski. sent4: if something is both not impossible and not a Sarajevo then it does not depart. sent5: the virgin urticates greenshank. sent6: the virgin is a photocathode. sent7: The greenshank urticates virgin. sent8: that the virgin does depart is not incorrect. sent9: if the virgin departs then it does attenuate. sent10: that the bidet does attenuate or it does not urticate greenshank or both is wrong if the virgin is not a kind of a Sarajevo. sent11: if something does not depart then the fact that it attenuates and does urticate greenshank is wrong. sent12: the virgin is an unconscious. ; $proof$ = 
sent9 & sent8 -> int1: the virgin attenuates.; int1 & sent5 -> hypothesis; __DISPROVED__