the germ is katabatic.
sent1: everything is a Seismosaurus. sent2: if that something is not Semite and does not drill Tampico does not hold then it is not katabatic. sent3: something is not a dot-com if the fact that it does not tear and it is not a hack is not true. sent4: if the almandite is not a kind of a Semite then that the germ is not a Semite and it does not drill Tampico is wrong. sent5: if either the sinkhole is thallophytic or it does not drill mizzenmast or both then the almandite is not a Semite. sent6: everything is thallophytic.
sent6 -> int1: the sinkhole is thallophytic.; int1 -> int2: the sinkhole is thallophytic and/or it does not drill mizzenmast.; int2 & sent5 -> int3: the almandite is not a Semite.; int3 & sent4 -> int4: the fact that the germ is not a kind of a Semite and it does not drill Tampico is not true.; sent2 -> int5: if that the germ is not a Semite and it does not drill Tampico is false it is not katabatic.; int4 & int5 -> hypothesis;
$hypothesis$ = the germ is katabatic. ; $context$ = sent1: everything is a Seismosaurus. sent2: if that something is not Semite and does not drill Tampico does not hold then it is not katabatic. sent3: something is not a dot-com if the fact that it does not tear and it is not a hack is not true. sent4: if the almandite is not a kind of a Semite then that the germ is not a Semite and it does not drill Tampico is wrong. sent5: if either the sinkhole is thallophytic or it does not drill mizzenmast or both then the almandite is not a Semite. sent6: everything is thallophytic. ; $proof$ = 
sent6 -> int1: the sinkhole is thallophytic.; int1 -> int2: the sinkhole is thallophytic and/or it does not drill mizzenmast.; int2 & sent5 -> int3: the almandite is not a Semite.; int3 & sent4 -> int4: the fact that the germ is not a kind of a Semite and it does not drill Tampico is not true.; sent2 -> int5: if that the germ is not a Semite and it does not drill Tampico is false it is not katabatic.; int4 & int5 -> hypothesis; __DISPROVED__