there is something such that if it is a Kartik then it does dim radio.
sent1: that something is a kind of a Chilean that is not a best is wrong if it does not dim radio. sent2: if something does not dim radio that it is Chilean and it is best is wrong. sent3: the fact that the northland is not a Kartik hold if it is a kind of a best. sent4: something is a hoister if it is salvific. sent5: something is not a Kartik if that it is Chilean and it is not a kind of a best does not hold. sent6: if that the northland does not dim radio is correct then that it is a Chilean and it is a kind of a best is not right. sent7: the fact that something is a kind of Chilean thing that is not best is not correct if it does dim radio.
sent1 -> int1: if the northland does not dim radio that it is not non-Chilean and not best is wrong.; void -> assump1: Let's assume that the northland does not dim radio.; int1 & assump1 -> int2: that the northland is a Chilean but it is not a best is false.; sent5 -> int3: the northland is not a kind of a Kartik if the fact that it is a Chilean and is not best is not right.; int2 & int3 -> int4: the northland is not a Kartik.; void -> assump2: Let's assume that the northland is a Kartik.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the northland does dim radio.; [assump2] & int6 -> int7: the northland does dim radio if it is a kind of a Kartik.; int7 -> hypothesis;
there exists something such that if the fact that it is salvific is not wrong it is a hoister.
sent4 -> int8: the lamp is a hoister if it is salvific.; int8 -> hypothesis;
$hypothesis$ = there is something such that if it is a Kartik then it does dim radio. ; $context$ = sent1: that something is a kind of a Chilean that is not a best is wrong if it does not dim radio. sent2: if something does not dim radio that it is Chilean and it is best is wrong. sent3: the fact that the northland is not a Kartik hold if it is a kind of a best. sent4: something is a hoister if it is salvific. sent5: something is not a Kartik if that it is Chilean and it is not a kind of a best does not hold. sent6: if that the northland does not dim radio is correct then that it is a Chilean and it is a kind of a best is not right. sent7: the fact that something is a kind of Chilean thing that is not best is not correct if it does dim radio. ; $proof$ = 
sent1 -> int1: if the northland does not dim radio that it is not non-Chilean and not best is wrong.; void -> assump1: Let's assume that the northland does not dim radio.; int1 & assump1 -> int2: that the northland is a Chilean but it is not a best is false.; sent5 -> int3: the northland is not a kind of a Kartik if the fact that it is a Chilean and is not best is not right.; int2 & int3 -> int4: the northland is not a Kartik.; void -> assump2: Let's assume that the northland is a Kartik.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the northland does dim radio.; [assump2] & int6 -> int7: the northland does dim radio if it is a kind of a Kartik.; int7 -> hypothesis; __PROVED__