the Tahitian is not volatile.
sent1: there is something such that the fact that it is basaltic is not incorrect. sent2: if something that is a kind of a manifestation judders then it is not a inkle. sent3: something is not a Sinbad and is a volatile if it is not a inkle. sent4: the Tahitian does not judder. sent5: that the Tahitian is a kind of a manifestation that does not judder is not wrong if the waxycap is not a kind of a manifestation. sent6: if the Tahitian is a manifestation and it judders then that it is not a inkle is right. sent7: the fact that the waxycap is a manifestation is right if it is a inkle. sent8: if a manifestation does not judder then it is not a inkle. sent9: the waxycap is not a kind of a manifestation if there exists something such that it is basaltic. sent10: if the waxycap is not a volatile then the Tahitian is a volatile and is not a kind of a manifestation. sent11: the Tahitian does not judder if the waxycap is not a manifestation. sent12: the Tahitian is not a volatile if the waxycap is basaltic.
sent1 & sent9 -> int1: the waxycap is not a manifestation.; int1 & sent5 -> int2: the Tahitian is a manifestation that does not judder.; sent8 -> int3: the fact that the Tahitian is not a kind of the inkle if the Tahitian is a kind of a manifestation but it does not judder is correct.; int2 & int3 -> int4: the Tahitian is not a kind of a inkle.; sent3 -> int5: the Tahitian is not a Sinbad but volatile if it is not a kind of a inkle.; int4 & int5 -> int6: the Tahitian is not a kind of a Sinbad and is a kind of a volatile.; int6 -> hypothesis;
the Tahitian is not a volatile.
$hypothesis$ = the Tahitian is not volatile. ; $context$ = sent1: there is something such that the fact that it is basaltic is not incorrect. sent2: if something that is a kind of a manifestation judders then it is not a inkle. sent3: something is not a Sinbad and is a volatile if it is not a inkle. sent4: the Tahitian does not judder. sent5: that the Tahitian is a kind of a manifestation that does not judder is not wrong if the waxycap is not a kind of a manifestation. sent6: if the Tahitian is a manifestation and it judders then that it is not a inkle is right. sent7: the fact that the waxycap is a manifestation is right if it is a inkle. sent8: if a manifestation does not judder then it is not a inkle. sent9: the waxycap is not a kind of a manifestation if there exists something such that it is basaltic. sent10: if the waxycap is not a volatile then the Tahitian is a volatile and is not a kind of a manifestation. sent11: the Tahitian does not judder if the waxycap is not a manifestation. sent12: the Tahitian is not a volatile if the waxycap is basaltic. ; $proof$ = 
sent1 & sent9 -> int1: the waxycap is not a manifestation.; int1 & sent5 -> int2: the Tahitian is a manifestation that does not judder.; sent8 -> int3: the fact that the Tahitian is not a kind of the inkle if the Tahitian is a kind of a manifestation but it does not judder is correct.; int2 & int3 -> int4: the Tahitian is not a kind of a inkle.; sent3 -> int5: the Tahitian is not a Sinbad but volatile if it is not a kind of a inkle.; int4 & int5 -> int6: the Tahitian is not a kind of a Sinbad and is a kind of a volatile.; int6 -> hypothesis; __DISPROVED__