the cultivar is not chromosomal if the fact that the hippopotamus is not a die is true.
sent1: if that the hippopotamus is a power but it is not a Georgian does not hold then the cultivar is chromosomal. sent2: if the hippopotamus is a Georgian then the cultivar is not chromosomal. sent3: if the fact that the hippopotamus does power but it is not a kind of a Georgian is false then the cultivar is non-chromosomal. sent4: if something that is a power is not Georgian then the fact that it is a die is not false.
sent4 -> int1: if the hippopotamus is a power and is not a Georgian it dies.; void -> assump1: Let's assume that the hippopotamus is both a power and not Georgian.; int1 & assump1 -> int2: the hippopotamus is a die.; void -> assump2: Let's assume that the hippopotamus is not a die.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hippopotamus is a power but it is not a kind of a Georgian is not correct.; sent3 & int4 -> int5: the cultivar is non-chromosomal.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the cultivar is not chromosomal if the fact that the hippopotamus is not a die is true. ; $context$ = sent1: if that the hippopotamus is a power but it is not a Georgian does not hold then the cultivar is chromosomal. sent2: if the hippopotamus is a Georgian then the cultivar is not chromosomal. sent3: if the fact that the hippopotamus does power but it is not a kind of a Georgian is false then the cultivar is non-chromosomal. sent4: if something that is a power is not Georgian then the fact that it is a die is not false. ; $proof$ = 
sent4 -> int1: if the hippopotamus is a power and is not a Georgian it dies.; void -> assump1: Let's assume that the hippopotamus is both a power and not Georgian.; int1 & assump1 -> int2: the hippopotamus is a die.; void -> assump2: Let's assume that the hippopotamus is not a die.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hippopotamus is a power but it is not a kind of a Georgian is not correct.; sent3 & int4 -> int5: the cultivar is non-chromosomal.; [assump2] & int5 -> hypothesis; __PROVED__