there exists something such that if it deposits forklift it is gingival but not a rummy.
sent1: the squill does not deposit forklift if the fact that it is gingival but not a rummy is not right. sent2: the squill is a astrogator that is not a kind of a rummy.
void -> assump2: Let's assume that that the squill is gingival thing that is not a rummy is wrong.; sent1 & assump2 -> int1: the fact that the squill does not deposit forklift is true.; void -> assump1: Let's assume that the squill deposits forklift.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the squill is gingival and is not a rummy.; [assump1] & int3 -> int4: the squill is a kind of gingival thing that is not a rummy if it does deposit forklift.; int4 -> hypothesis;
$hypothesis$ = there exists something such that if it deposits forklift it is gingival but not a rummy. ; $context$ = sent1: the squill does not deposit forklift if the fact that it is gingival but not a rummy is not right. sent2: the squill is a astrogator that is not a kind of a rummy. ; $proof$ = 
void -> assump2: Let's assume that that the squill is gingival thing that is not a rummy is wrong.; sent1 & assump2 -> int1: the fact that the squill does not deposit forklift is true.; void -> assump1: Let's assume that the squill deposits forklift.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the squill is gingival and is not a rummy.; [assump1] & int3 -> int4: the squill is a kind of gingival thing that is not a rummy if it does deposit forklift.; int4 -> hypothesis; __PROVED__