that if the kiln is a predictability and not a interspersion then the eight-spot does not harmonize is not correct.
sent1: if something is not lupine it does not taste nankeen. sent2: if the kiln is a predictability and not a interspersion the LGB is not a kind of a lupine. sent3: if the LGB does not taste nankeen then the fact that the eight-spot does not taste nankeen and is not a racing does not hold. sent4: if that something does not taste nankeen and it is not a kind of a racing is not true then it does not harmonize.
void -> assump1: Let's assume that the kiln is a kind of a predictability but it is not a interspersion.; sent2 & assump1 -> int1: the LGB is not a kind of a lupine.; sent1 -> int2: if the LGB is not a kind of a lupine then it does not taste nankeen.; int1 & int2 -> int3: the LGB does not taste nankeen.; int3 & sent3 -> int4: the fact that the eight-spot does not taste nankeen and it does not race is not correct.; sent4 -> int5: if the fact that the eight-spot does not taste nankeen and it is not a kind of a racing is not correct it does not harmonize.; int4 & int5 -> int6: the eight-spot does not harmonize.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the kiln is a predictability and not a interspersion then the eight-spot does not harmonize is not correct. ; $context$ = sent1: if something is not lupine it does not taste nankeen. sent2: if the kiln is a predictability and not a interspersion the LGB is not a kind of a lupine. sent3: if the LGB does not taste nankeen then the fact that the eight-spot does not taste nankeen and is not a racing does not hold. sent4: if that something does not taste nankeen and it is not a kind of a racing is not true then it does not harmonize. ; $proof$ = 
void -> assump1: Let's assume that the kiln is a kind of a predictability but it is not a interspersion.; sent2 & assump1 -> int1: the LGB is not a kind of a lupine.; sent1 -> int2: if the LGB is not a kind of a lupine then it does not taste nankeen.; int1 & int2 -> int3: the LGB does not taste nankeen.; int3 & sent3 -> int4: the fact that the eight-spot does not taste nankeen and it does not race is not correct.; sent4 -> int5: if the fact that the eight-spot does not taste nankeen and it is not a kind of a racing is not correct it does not harmonize.; int4 & int5 -> int6: the eight-spot does not harmonize.; [assump1] & int6 -> hypothesis; __DISPROVED__