the nummulite is biocatalytic.
sent1: the hookup is not inflationary if it is shapely and it does not crossbreed glassmaker. sent2: that the hookup is not inflationary is not incorrect if it is not shapely and does not crossbreed glassmaker. sent3: something is both not viviparous and inflationary if it is unexchangeable. sent4: the nummulite is convertible if the fact that the autotype is viviparous and inflationary is not right. sent5: the hookup is not shapely. sent6: a non-unexchangeable thing is not biocatalytic. sent7: if the autotype is not viviparous the nummulite is not unexchangeable. sent8: the hookup is not shapely and does not crossbreed glassmaker. sent9: if the hookup is not inflationary the fact that the autotype is viviparous and inflationary is not true. sent10: there is nothing such that it does not stink edema and does not send. sent11: that the hookup is not unshapely but viviparous does not hold.
sent2 & sent8 -> int1: the hookup is not inflationary.; int1 & sent9 -> int2: the fact that the autotype is not non-viviparous and is inflationary is incorrect.; int2 & sent4 -> int3: the nummulite is not unexchangeable.; sent6 -> int4: if the nummulite is not unexchangeable then it is not biocatalytic.; int3 & int4 -> hypothesis;
the fact that the nummulite is biocatalytic hold.
sent3 -> int5: if the autotype is unexchangeable it is not viviparous and is inflationary.; sent10 -> int6: the fact that the autotype does not stink edema and does not send is not right.;
$hypothesis$ = the nummulite is biocatalytic. ; $context$ = sent1: the hookup is not inflationary if it is shapely and it does not crossbreed glassmaker. sent2: that the hookup is not inflationary is not incorrect if it is not shapely and does not crossbreed glassmaker. sent3: something is both not viviparous and inflationary if it is unexchangeable. sent4: the nummulite is convertible if the fact that the autotype is viviparous and inflationary is not right. sent5: the hookup is not shapely. sent6: a non-unexchangeable thing is not biocatalytic. sent7: if the autotype is not viviparous the nummulite is not unexchangeable. sent8: the hookup is not shapely and does not crossbreed glassmaker. sent9: if the hookup is not inflationary the fact that the autotype is viviparous and inflationary is not true. sent10: there is nothing such that it does not stink edema and does not send. sent11: that the hookup is not unshapely but viviparous does not hold. ; $proof$ = 
sent2 & sent8 -> int1: the hookup is not inflationary.; int1 & sent9 -> int2: the fact that the autotype is not non-viviparous and is inflationary is incorrect.; int2 & sent4 -> int3: the nummulite is not unexchangeable.; sent6 -> int4: if the nummulite is not unexchangeable then it is not biocatalytic.; int3 & int4 -> hypothesis; __DISPROVED__