the fact that if the map does not proposition overlip and is the base the fact that the map does harness is not false is wrong.
sent1: something harnesses if it is mammalian. sent2: the map is not non-mammalian if it does not proposition overlip and is a base. sent3: if the map propositions overlip and is a base the fact that it does harness is true. sent4: the map is a kind of a base. sent5: that the map does not proposition overlip hold.
void -> assump1: Let's assume that the map does not proposition overlip but it does base.; sent2 & assump1 -> int1: the map is mammalian.; sent1 -> int2: the map does harness if it is mammalian.; int1 & int2 -> int3: the map harnesses.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the map does not proposition overlip and is the base the fact that the map does harness is not false is wrong. ; $context$ = sent1: something harnesses if it is mammalian. sent2: the map is not non-mammalian if it does not proposition overlip and is a base. sent3: if the map propositions overlip and is a base the fact that it does harness is true. sent4: the map is a kind of a base. sent5: that the map does not proposition overlip hold. ; $proof$ = 
void -> assump1: Let's assume that the map does not proposition overlip but it does base.; sent2 & assump1 -> int1: the map is mammalian.; sent1 -> int2: the map does harness if it is mammalian.; int1 & int2 -> int3: the map harnesses.; [assump1] & int3 -> hypothesis; __DISPROVED__