there exists something such that if it is not a kind of a Wouk then it does not describe Wilderness and is residuary.
sent1: the cross-examiner is residuary if it does describe circumnavigation. sent2: if the bile describes Wilderness it is a Wouk. sent3: there exists something such that if it is not a Wouk it is residuary. sent4: if the go-getter is a kind of a mash it describes Wilderness. sent5: the bile is a Tulsa if it is a kind of a bulimic. sent6: there is something such that if it is subatomic it is not a fang and it does teethe. sent7: the bile is residuary. sent8: the bile is not Argentine.
void -> assump1: Let's assume that the bile does describe Wilderness.; sent2 & assump1 -> int1: the bile is a kind of a Wouk.; void -> assump2: Let's assume that the bile is not a Wouk.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bile does not describe Wilderness.; int3 & sent7 -> int4: the bile does not describe Wilderness but it is residuary.; [assump2] & int4 -> int5: if the fact that the bile is not a Wouk hold then it does not describe Wilderness and is residuary.; int5 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a Wouk then it does not describe Wilderness and is residuary. ; $context$ = sent1: the cross-examiner is residuary if it does describe circumnavigation. sent2: if the bile describes Wilderness it is a Wouk. sent3: there exists something such that if it is not a Wouk it is residuary. sent4: if the go-getter is a kind of a mash it describes Wilderness. sent5: the bile is a Tulsa if it is a kind of a bulimic. sent6: there is something such that if it is subatomic it is not a fang and it does teethe. sent7: the bile is residuary. sent8: the bile is not Argentine. ; $proof$ = 
void -> assump1: Let's assume that the bile does describe Wilderness.; sent2 & assump1 -> int1: the bile is a kind of a Wouk.; void -> assump2: Let's assume that the bile is not a Wouk.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bile does not describe Wilderness.; int3 & sent7 -> int4: the bile does not describe Wilderness but it is residuary.; [assump2] & int4 -> int5: if the fact that the bile is not a Wouk hold then it does not describe Wilderness and is residuary.; int5 -> hypothesis; __PROVED__