the strider is not a hydrazoite.
sent1: the kerosene is not linguistic. sent2: if something is linguistic then it is a hydrazoite. sent3: everything interlocks endemic and is allometric. sent4: there is something such that it is not nonlinguistic. sent5: if something is not linguistic then the strider is not a hydrazoite. sent6: that something is not linguistic and/or it is a hydrazoite does not hold if it is not a kind of a lash-up.
sent1 -> int1: there is something such that it is not linguistic.; int1 & sent5 -> hypothesis;
the strider is a hydrazoite.
sent2 -> int2: that the strider is a hydrazoite is correct if it is linguistic.; sent3 -> int3: the tracer does interlock endemic and it is allometric.; int3 -> int4: the tracer does interlock endemic.; int4 -> int5: there is something such that it interlocks endemic.;
$hypothesis$ = the strider is not a hydrazoite. ; $context$ = sent1: the kerosene is not linguistic. sent2: if something is linguistic then it is a hydrazoite. sent3: everything interlocks endemic and is allometric. sent4: there is something such that it is not nonlinguistic. sent5: if something is not linguistic then the strider is not a hydrazoite. sent6: that something is not linguistic and/or it is a hydrazoite does not hold if it is not a kind of a lash-up. ; $proof$ = 
sent1 -> int1: there is something such that it is not linguistic.; int1 & sent5 -> hypothesis; __PROVED__