that the whiting is both Senecan and runic is not right.
sent1: the small is Senecan if the whiting intrigues fifties. sent2: the vermiculation is vocative if something intrigues routemarch and does not lap symbolist. sent3: the small is estrogenic if it is a kind of a mammoth and does intrigue fifties. sent4: if something is a kind of a vocative then that it is umbellate and not gaseous is false. sent5: if something is non-Senecan it is a mammoth. sent6: if the buttermilk does intrigue Esquire it intrigues routemarch and does not lap symbolist. sent7: the small is a mammoth but it does not intrigue fifties. sent8: the whiting is runic. sent9: if the small is estrogenic then the whiting is Senecan. sent10: the buttermilk does intrigue Esquire. sent11: if the small is a mammoth that does not intrigue fifties then it is estrogenic. sent12: the small does not intrigue fifties.
sent11 & sent7 -> int1: the small is estrogenic.; int1 & sent9 -> int2: the whiting is Senecan.; int2 & sent8 -> hypothesis;
that the whiting is both not non-Senecan and not non-runic does not hold.
sent4 -> int3: that the vermiculation is umbellate thing that is not gaseous is not right if it is a vocative.; sent6 & sent10 -> int4: the buttermilk intrigues routemarch and does not lap symbolist.; int4 -> int5: something does intrigue routemarch but it does not lap symbolist.; int5 & sent2 -> int6: the vermiculation is a kind of a vocative.; int3 & int6 -> int7: the fact that the vermiculation is umbellate but it is not gaseous is wrong.; int7 -> int8: there exists something such that that it is both umbellate and not gaseous does not hold.;
$hypothesis$ = that the whiting is both Senecan and runic is not right. ; $context$ = sent1: the small is Senecan if the whiting intrigues fifties. sent2: the vermiculation is vocative if something intrigues routemarch and does not lap symbolist. sent3: the small is estrogenic if it is a kind of a mammoth and does intrigue fifties. sent4: if something is a kind of a vocative then that it is umbellate and not gaseous is false. sent5: if something is non-Senecan it is a mammoth. sent6: if the buttermilk does intrigue Esquire it intrigues routemarch and does not lap symbolist. sent7: the small is a mammoth but it does not intrigue fifties. sent8: the whiting is runic. sent9: if the small is estrogenic then the whiting is Senecan. sent10: the buttermilk does intrigue Esquire. sent11: if the small is a mammoth that does not intrigue fifties then it is estrogenic. sent12: the small does not intrigue fifties. ; $proof$ = 
sent11 & sent7 -> int1: the small is estrogenic.; int1 & sent9 -> int2: the whiting is Senecan.; int2 & sent8 -> hypothesis; __DISPROVED__