the scabious is a ocotillo.
sent1: if there is something such that it does not slag Greene and is a kind of a pussy-paw then the mayoress does not crossbreed. sent2: the bisexual is sculptural and is not acropetal if the harlequin-snake is not a kind of a pussy-paw. sent3: the scabious does deflate substitute. sent4: the shark is a punkie if the fact that it does not slag Greene and it deflates substitute is wrong. sent5: if either the mayoress does not deflate substitute or it crossbreeds or both then the harlequin-snake is a kind of a pussy-paw. sent6: there exists nothing such that it spirals symbolist and it deflates substitute. sent7: something is sculptural but not non-acropetal. sent8: the shark slags Greene if either the mayoress does not crossbreed or it is a punkie or both. sent9: the mayoress is a Picardie. sent10: if there exists something such that that it does spiral symbolist and it does deflate substitute is not true the shark does not deflate substitute. sent11: something is sculptural. sent12: the fact that the mayoress is a Picardie and does not crossbreed is not wrong. sent13: if the mayoress is a kind of a punkie the shark does slag Greene. sent14: there is something such that it is not acropetal. sent15: if the harlequin-snake is not a Picardie the mayoress is a kind of a pussy-paw. sent16: if something that is sculptural is not acropetal that the scabious is a kind of a ocotillo is not incorrect.
sent12 -> int1: the mayoress does not crossbreed.; int1 -> int2: the mayoress does not crossbreed or it is a punkie or both.; int2 & sent8 -> int3: the shark does slag Greene.; sent6 -> int4: that the rotary spirals symbolist and does deflate substitute is not true.; int4 -> int5: there exists something such that that it does spiral symbolist and does deflate substitute is false.; int5 & sent10 -> int6: the shark does not deflate substitute.; int3 & int6 -> int7: the shark does not deflate substitute but it does slag Greene.; int7 -> int8: something does not deflate substitute but it does slag Greene.;
the fact that the scabious is not a ocotillo hold.
$hypothesis$ = the scabious is a ocotillo. ; $context$ = sent1: if there is something such that it does not slag Greene and is a kind of a pussy-paw then the mayoress does not crossbreed. sent2: the bisexual is sculptural and is not acropetal if the harlequin-snake is not a kind of a pussy-paw. sent3: the scabious does deflate substitute. sent4: the shark is a punkie if the fact that it does not slag Greene and it deflates substitute is wrong. sent5: if either the mayoress does not deflate substitute or it crossbreeds or both then the harlequin-snake is a kind of a pussy-paw. sent6: there exists nothing such that it spirals symbolist and it deflates substitute. sent7: something is sculptural but not non-acropetal. sent8: the shark slags Greene if either the mayoress does not crossbreed or it is a punkie or both. sent9: the mayoress is a Picardie. sent10: if there exists something such that that it does spiral symbolist and it does deflate substitute is not true the shark does not deflate substitute. sent11: something is sculptural. sent12: the fact that the mayoress is a Picardie and does not crossbreed is not wrong. sent13: if the mayoress is a kind of a punkie the shark does slag Greene. sent14: there is something such that it is not acropetal. sent15: if the harlequin-snake is not a Picardie the mayoress is a kind of a pussy-paw. sent16: if something that is sculptural is not acropetal that the scabious is a kind of a ocotillo is not incorrect. ; $proof$ = 
sent12 -> int1: the mayoress does not crossbreed.; int1 -> int2: the mayoress does not crossbreed or it is a punkie or both.; int2 & sent8 -> int3: the shark does slag Greene.; sent6 -> int4: that the rotary spirals symbolist and does deflate substitute is not true.; int4 -> int5: there exists something such that that it does spiral symbolist and does deflate substitute is false.; int5 & sent10 -> int6: the shark does not deflate substitute.; int3 & int6 -> int7: the shark does not deflate substitute but it does slag Greene.; int7 -> int8: something does not deflate substitute but it does slag Greene.; __UNKNOWN__