the fact that the carbuncle is ambiversive does not hold.
sent1: if the fact that something is a beard and does not arrive microfarad is wrong then it does arrive microfarad. sent2: The sportscaster does curb graniteware. sent3: the graniteware does curb sportscaster. sent4: the geneticist is not a tarriance if either it is not a driveller or it does not arrive simian or both. sent5: if the geneticist is not a tarriance that the shovel either curbs Tertry or is not bibliotics or both is incorrect. sent6: there exists nothing such that it is a beard and it does not arrive microfarad. sent7: if there is something such that the fact that it is not a kind of a microtubule and it does not arrive microfarad is not right the geneticist does not diet. sent8: something does not curb sportscaster or it is a tarriance or both if it is bibliotics. sent9: if the shovel is a kind of a diet then the carbuncle is a microtubule. sent10: there exists something such that the fact that it is not a kind of a microtubule and it does not arrive microfarad is not true. sent11: if something is a microtubule and it does arrive microfarad then it is not ambiversive. sent12: the shovel is a diet if that it curbs Tertry and/or it is not bibliotics does not hold.
sent1 -> int1: if that the carbuncle is a beard but it does not arrive microfarad is incorrect that it does arrive microfarad is correct.; sent6 -> int2: that the carbuncle is a beard but it does not arrive microfarad is not true.; int1 & int2 -> int3: the carbuncle does arrive microfarad.; sent11 -> int4: if the carbuncle is a kind of a microtubule and it arrives microfarad it is non-ambiversive.;
the carbuncle is ambiversive.
sent8 -> int5: either the graniteware does not curb sportscaster or it is a tarriance or both if it is bibliotics.; sent10 & sent7 -> int6: the geneticist does not diet.; int6 -> int7: there exists something such that it is not a diet.;
$hypothesis$ = the fact that the carbuncle is ambiversive does not hold. ; $context$ = sent1: if the fact that something is a beard and does not arrive microfarad is wrong then it does arrive microfarad. sent2: The sportscaster does curb graniteware. sent3: the graniteware does curb sportscaster. sent4: the geneticist is not a tarriance if either it is not a driveller or it does not arrive simian or both. sent5: if the geneticist is not a tarriance that the shovel either curbs Tertry or is not bibliotics or both is incorrect. sent6: there exists nothing such that it is a beard and it does not arrive microfarad. sent7: if there is something such that the fact that it is not a kind of a microtubule and it does not arrive microfarad is not right the geneticist does not diet. sent8: something does not curb sportscaster or it is a tarriance or both if it is bibliotics. sent9: if the shovel is a kind of a diet then the carbuncle is a microtubule. sent10: there exists something such that the fact that it is not a kind of a microtubule and it does not arrive microfarad is not true. sent11: if something is a microtubule and it does arrive microfarad then it is not ambiversive. sent12: the shovel is a diet if that it curbs Tertry and/or it is not bibliotics does not hold. ; $proof$ = 
sent1 -> int1: if that the carbuncle is a beard but it does not arrive microfarad is incorrect that it does arrive microfarad is correct.; sent6 -> int2: that the carbuncle is a beard but it does not arrive microfarad is not true.; int1 & int2 -> int3: the carbuncle does arrive microfarad.; sent11 -> int4: if the carbuncle is a kind of a microtubule and it arrives microfarad it is non-ambiversive.; __UNKNOWN__