the neoclassicist is not a kind of a nectarine.
sent1: the usherette is not a thermion. sent2: that the neoclassicist is pregnant does not hold if the usherette is not pregnant. sent3: the neoclassicist is a nectarine but it is nonpregnant if the usherette is not nonpregnant. sent4: the neoclassicist is a thermion if the usherette is a thermion. sent5: something is not a nectarine if it is a thermion and is pregnant. sent6: the bathhouse is not pregnant. sent7: the usherette is not pregnant if it is not a kind of a thermion. sent8: something is not a thermion if it is not a slurry. sent9: the neoclassicist is not pregnant.
sent7 & sent1 -> int1: the usherette is not pregnant.; sent3 & int1 -> int2: the neoclassicist is a nectarine but it is not pregnant.; int2 -> hypothesis;
the neoclassicist is not a nectarine.
sent5 -> int3: if the neoclassicist is a thermion and it is pregnant then it is not a nectarine.;
$hypothesis$ = the neoclassicist is not a kind of a nectarine. ; $context$ = sent1: the usherette is not a thermion. sent2: that the neoclassicist is pregnant does not hold if the usherette is not pregnant. sent3: the neoclassicist is a nectarine but it is nonpregnant if the usherette is not nonpregnant. sent4: the neoclassicist is a thermion if the usherette is a thermion. sent5: something is not a nectarine if it is a thermion and is pregnant. sent6: the bathhouse is not pregnant. sent7: the usherette is not pregnant if it is not a kind of a thermion. sent8: something is not a thermion if it is not a slurry. sent9: the neoclassicist is not pregnant. ; $proof$ = 
sent7 & sent1 -> int1: the usherette is not pregnant.; sent3 & int1 -> int2: the neoclassicist is a nectarine but it is not pregnant.; int2 -> hypothesis; __DISPROVED__