the conceptualisticness occurs.
sent1: the tout happens. sent2: the animalisticness does not occur. sent3: the bioclimaticness does not occur. sent4: if the tout occurs and the conceptualisticness happens the nettling nailhead does not occur. sent5: if the animalisticness does not occur both the nettling nailhead and the nettling bock happens.
void -> assump1: Let's assume that the conceptualisticness occurs.; sent1 & assump1 -> int1: both the tout and the conceptualisticness occurs.; int1 & sent4 -> int2: the nettling nailhead does not occur.; sent5 & sent2 -> int3: the nettling nailhead happens and the nettling bock occurs.; int3 -> int4: the nettling nailhead occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the conceptualisticness occurs. ; $context$ = sent1: the tout happens. sent2: the animalisticness does not occur. sent3: the bioclimaticness does not occur. sent4: if the tout occurs and the conceptualisticness happens the nettling nailhead does not occur. sent5: if the animalisticness does not occur both the nettling nailhead and the nettling bock happens. ; $proof$ = 
void -> assump1: Let's assume that the conceptualisticness occurs.; sent1 & assump1 -> int1: both the tout and the conceptualisticness occurs.; int1 & sent4 -> int2: the nettling nailhead does not occur.; sent5 & sent2 -> int3: the nettling nailhead happens and the nettling bock occurs.; int3 -> int4: the nettling nailhead occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__